“Petri nets are a model-oriented formal method and are well suited for modeling the dynamic behaviors of concurrent and distributed systems. Petri net specifications reveal system design structures and thus provide guidelines for system implementation. Furthermore, Petri net specifications are executable and support system simulation and testing in addition to formal analysis”
Reference: Chen, Wai-Kai. (2005). Electrical Engineering Handbook – 9. High-Level Petri Nets – Extensions, Analysis, and Applications. Elsevier.
“Petri nets also called place/transition nets, are a popular mathematical and graphical modeling tool, typically used for representing processes in which data (tokens) are concurrently handled by asynchronous and distributed processors. They are widely employed in fields as diverse as reliability engineering, work-flow management, and software design. Although most Petri net models are discrete, continuous Petri nets are usually studied also. The modeling of chemical reaction networks using Petri net formalism was pioneered by Reddy et al.”
Reference: Iglesias, Pablo A. Ingalls, Brian P. (2010). Control Theory and Systems Biology – 7.3 Petri Nets and Persistence Analysis. MIT Press.
Note: As (Colored) Petri nets simulate conditional delivery time processes including randomness they can be used to simulate chemical process operations, although requiring considerable modeling effort.