Text this: Principle of Petri Nets