Petri net extensions for the development of MIMO net models of automated manufacturing systems

Petri nets: Properties, analysis and applications

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

Engineering, Computer Engineering, Computer Science +15

System modelling with high-level Petri nets

Hartmann J. Genrich, Kurt Lautenbach · Theoretical Computer Science · 1981 · 654 citations

Engineering, Computer Science, Systems Engineering +11

SPNP: stochastic Petri net package

Gianfranco Ciardo, Jogesh K. Muppala, Kishor S. Trivedi · 2003 · 548 citations

Engineering, Computer Science, Systems Engineering +11

2002 IEEE International Conference On Robotics And Automation

2002 · 508 citations

Engineering, Electrical Engineering, Robotics Engineering +12

A hybrid methodology for synthesis of Petri net models for manufacturing systems

MengChu Zhou, F. DiCesare, A.A. Desrochers · IEEE Transactions on Robotics and Automation · 1992 · 411 citations

Engineering, Manufacturing Engineering, Systems Engineering +11