//-->
Hybrid Petri net modeling of inventory management systems
Furcas, Roberto, (2001)
Modelling hybrid systems by high-level Petri nets
Giua, Alessandro, (1998)
Deadlock resolution in automated manufacturing systems-a novel Petri net approach, by Z.W. Li, and M.C. Zhou
Giua, Alessandro, (2010)