Petri Nets in System Modeling | ResearchHub