Title: Principle of Petri Nets