Automated synthesis of hybrid Petri net models for robotic cells in the aircraft industry

Petri nets: Properties, analysis and applications

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

Engineering, Computer Engineering, Computer Science +15

Overview of fault diagnosis methods for Discrete Event Systems

J. Zaytoon, Stéphane Lafortune · Annual Reviews in Control · 2013 · 321 citations

Engineering, Computer Engineering, Systems Engineering +14

Task-oriented motion planning for multi-arm robotic systems

Francesco Basile, Fabrizio Caccavale, Pasquale Chiacchio et al. · Robotics and Computer-Integrated Manufacturing · 2012 · 91 citations

Engineering, Mechatronics Engineering, Robotics Engineering +14

Robot task plan representation by Petri nets: modelling, identification, analysis and execution

Hugo Costelha, Pedro U. Lima · Autonomous Robots · 2012 · 59 citations

Engineering, Computer Science, Robotics Engineering +14

A Hybrid Model of Complex Automated Warehouse Systems—Part I: Modeling and Simulation

Francesco Basile, Pasquale Chiacchio, Jolanda Coppola · IEEE Transactions on Automation Science and Engineering · 2012 · 57 citations

Engineering, Industrial Engineering, Systems Engineering +17