Using D-elementary hybrid Petri nets and linear hybrid automata for modelling manufacturing systems

Latéfa GHOMRI; Hassane ALLA

doi:10.3182/20130911-3-br-3021.00068

Using D-elementary hybrid Petri nets and linear hybrid automata for modelling manufacturing systems

IFAC Proceedings Volumes ◽

10.3182/20130911-3-br-3021.00068 ◽

2013 ◽

Vol 46 (24) ◽

pp. 331-336

Author(s):

Latéfa GHOMRI ◽

Hassane ALLA

Keyword(s):

Petri Nets ◽

Manufacturing Systems ◽

Hybrid Automata ◽

Hybrid Petri Nets ◽

Linear Hybrid Automata

Download Full-text

MODELLING DISTRIBUTED MANUFACTURING SYSTEMS VIA FIRST ORDER HYBRID PETRI NETS

IFAC Proceedings Volumes ◽

10.3182/20060607-3-it-3902.00012 ◽

2006 ◽

Vol 39 (5) ◽

pp. 44-49

Author(s):

Mariagrazia Dotoli ◽

Maria Pia Fanti ◽

Agostino Marcello Mangini

Keyword(s):

Petri Nets ◽

Manufacturing Systems ◽

Distributed Manufacturing ◽

First Order ◽

Hybrid Petri Nets ◽

Distributed Manufacturing Systems

Download Full-text

Modelling Manufacturing Systems and Inventory Control Systems with Hybrid Petri Nets

Formal Methods in Manufacturing ◽

10.1201/9781315216140-3 ◽

2018 ◽

pp. 75-104

Author(s):

Maria Paola Cabasino ◽

Alessandro Giua ◽

Carla Seatzu

Keyword(s):

Petri Nets ◽

Control Systems ◽

Inventory Control ◽

Manufacturing Systems ◽

Hybrid Petri Nets

Download Full-text

Modelling Manufacturing Systems and Inventory Control Systems with Hybrid Petri Nets

Industrial Information Technology - Formal Methods in Manufacturing ◽

10.1201/b16529-5 ◽

2014 ◽

pp. 75-103

Author(s):

Maria Cabasino ◽

Alessandro Giua ◽

Carla Seatzu

Keyword(s):

Petri Nets ◽

Control Systems ◽

Inventory Control ◽

Manufacturing Systems ◽

Hybrid Petri Nets

Download Full-text

Decomposition of first-order Hybrid Petri Nets for hierarchical control of manufacturing systems

The 3rd International Conference on Control, Instrumentation, and Automation ◽

10.1109/icciautom.2013.6912855 ◽

2013 ◽

Cited By ~ 1

Author(s):

Saeede Nazari Goldar ◽

Ali Doustmohammadi ◽

Solmaz Babayi Ajabshir

Keyword(s):

Petri Nets ◽

Manufacturing Systems ◽

Hierarchical Control ◽

First Order ◽

Hybrid Petri Nets

Download Full-text

Combining fault detection and process optimization in manufacturing systems using first-order hybrid Petri nets

Proceedings 2001 ICRA. IEEE International Conference on Robotics and Automation (Cat. No.01CH37164) ◽

10.1109/robot.2001.932527 ◽

2002 ◽

Cited By ~ 6

Author(s):

F. Balduzzi ◽

A. Di Febbraro

Keyword(s):

Fault Detection ◽

Petri Nets ◽

Process Optimization ◽

Manufacturing Systems ◽

First Order ◽

Hybrid Petri Nets

Download Full-text

Modelling, Simulation and Control of Manufacturing Systems Using Hybrid Petri Nets

IFAC Proceedings Volumes ◽

10.1016/s1474-6670(17)43566-x ◽

1997 ◽

Vol 30 (6) ◽

pp. 1453-1459

Author(s):

T. EL-Fouly ◽

N. Zerhouni

Keyword(s):

Petri Nets ◽

Manufacturing Systems ◽

Hybrid Petri Nets ◽

Simulation And Control ◽

And Control ◽

Modelling Simulation

Download Full-text

Hybrid Petri Nets and Hybrid Automata for Modeling and Control of Two Adjacent Oversaturated Intersections

Journal of Control Automation and Electrical Systems ◽

10.1007/s40313-016-0275-x ◽

2016 ◽

Vol 27 (6) ◽

pp. 646-657 ◽

Cited By ~ 3

Author(s):

Fares Bouriachi ◽

Sihem Kechida

Keyword(s):

Petri Nets ◽

Hybrid Automata ◽

Modeling And Control ◽

Hybrid Petri Nets ◽

Oversaturated Intersections ◽

And Control

Download Full-text

Decomposition of first-order hybrid Petri nets for hierarchical control of manufacturing systems

Journal of Manufacturing Systems ◽

10.1016/j.jmsy.2015.01.001 ◽

2015 ◽

Vol 35 ◽

pp. 206-214 ◽

Cited By ~ 8

Author(s):

Mohsen Vatani ◽

Ali Doustmohammadi

Keyword(s):

Petri Nets ◽

Manufacturing Systems ◽

Hierarchical Control ◽

First Order ◽

Hybrid Petri Nets

Download Full-text

Combining hybrid Petri nets and hybrid automata

IEEE Transactions on Robotics and Automation ◽

10.1109/70.964667 ◽

2001 ◽

Vol 17 (5) ◽

pp. 670-678 ◽

Cited By ~ 24

Author(s):

A.T. Sava ◽

H. Alla

Keyword(s):

Petri Nets ◽

Hybrid Automata ◽

Hybrid Petri Nets

Download Full-text

Modelling Distributed Manufacturing Systems Via First Order Hybrid Petri Nets

Analysis and Design of Hybrid Systems 2006 ◽

10.1016/b978-008044613-4.50011-2 ◽

2006 ◽

pp. 44-49 ◽

Cited By ~ 2

Author(s):

Mariagrazia Dotoli ◽

Maria Pia Fanti ◽

Agostino Marcello Mangini

Keyword(s):

Petri Nets ◽

Manufacturing Systems ◽

Distributed Manufacturing ◽

First Order ◽

Hybrid Petri Nets ◽

Distributed Manufacturing Systems

Download Full-text