Material flow and control sequence specification of flexible production systems using coloured Petri nets

Petri nets: Properties, analysis and applications

T. Murata · Proceedings of the IEEE · 1989 · 10.5K citations

Engineering, Computer Engineering, Computer Science +15

A Survey of Petri Net Methods for Controlled Discrete Event Systems

L.E. Holloway, Bruce H. Krogh, Alessandro Giua · Discrete Event Dynamic Systems · 1997 · 423 citations

Engineering, Systems Engineering, Process Control +9

Grafcet: a powerful tool for specification of logic controllers

IEEE Transactions on Control Systems Technology · 1995 · 200 citations

Engineering, Computer Engineering, Computer Science +15

Petri net structural analysis for supervisory control

Alessandro Giua, F. DiCesare · IEEE Transactions on Robotics and Automation · 1994 · 91 citations

Engineering, Computer Science, Systems Engineering +17

Choice-free Petri nets: a model for deterministic concurrent systems with bulk services and arrivals

Enrique Teruel, José Manuel Colom, Manuel Silva · IEEE Transactions on Systems Man and Cybernetics - Part A Systems and Humans · 1997 · 89 citations

Computing, Computer Science, Formal Methods +16