Modelling Production Systems By Hybrid Automata and Hybrid Petri Nets

IFAC Proceedings Volumes ◽

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

1997 ◽

Vol 30 (6) ◽

pp. 343-348 ◽

Author(s):

M. Allam ◽

H. Alla

Keyword(s):

Production Systems ◽

Hybrid Automata ◽

Hybrid Petri Nets

Download Full-text

Studying multi-operational production systems with modular hybrid petri nets

Proceedings 2003 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2003) (Cat. No.03CH37453) ◽

10.1109/iros.2003.1249332 ◽

2004 ◽

Author(s):

G.J. Tsinarakis ◽

K.P. Valavanis ◽

N.C. Tsourveloudis

Keyword(s):

Production Systems ◽

Hybrid Petri Nets

Download Full-text

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):

Manufacturing Systems ◽

Hybrid Automata ◽

Hybrid Petri Nets ◽

Linear Hybrid Automata

Download Full-text

Modular hybrid Petri nets for studying multi-operational production systems where parts follow multiple alternative processes

IEEE International Conference on Robotics and Automation, 2004. Proceedings. ICRA '04. 2004 ◽

10.1109/robot.2004.1307206 ◽

2004 ◽

Author(s):

G.J. Tsinarakis ◽

K.P. Valavanis

Keyword(s):

Production Systems ◽

Hybrid Petri Nets ◽

Multiple Alternative ◽

Alternative Processes

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 ◽

Author(s):

Fares Bouriachi ◽

Sihem Kechida

Keyword(s):

Hybrid Automata ◽

Modeling And Control ◽

Hybrid Petri Nets ◽

Oversaturated Intersections ◽

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 ◽

Author(s):

A.T. Sava ◽

H. Alla

Keyword(s):

Hybrid Automata ◽

Hybrid Petri Nets

Download Full-text

Modeling production systems with inventory using hybrid Petri nets

Proceedings of the 2001 IEEE International Conference on Control Applications (CCA'01) (Cat. No.01CH37204) ◽

10.1109/cca.2001.973904 ◽

2002 ◽

Author(s):

R.F. Lucas ◽

A. Giua ◽

A. Piccaluga ◽

C. Seatzu

Keyword(s):

Production Systems ◽

Hybrid Petri Nets

Download Full-text

A Transformation of Hybrid Petri Nets with Stochastic Firings into a Subclass of Stochastic Hybrid Automata

Lecture Notes in Computer Science - NASA Formal Methods ◽

10.1007/978-3-030-55754-6_23 ◽

2020 ◽

pp. 381-400

Author(s):

Carina Pilch ◽

Maurice Krause ◽

Anne Remke ◽

Erika Ábrahám

Keyword(s):

Hybrid Automata ◽

Hybrid Petri Nets

Download Full-text

Translation from Multisingular Hybrid Petri Nets to Multisingular Hybrid Automata

Fundamenta Informaticae ◽

10.3233/fi-2014-993 ◽

2014 ◽

Vol 130 (3) ◽

pp. 275-315

Author(s):

Hassan Motallebi ◽

Mohammad Abdollahi Azgomi

Keyword(s):

Hybrid Automata ◽

Hybrid Petri Nets

Download Full-text

Modeling and simulation of Systems of Multiple Sources of Energy by Differential Hybrid Petri Nets

2008 IEEE International Symposium on Industrial Electronics ◽

10.1109/isie.2008.4677231 ◽

2008 ◽

Author(s):

J. R. B. Sousa ◽

A. M. N. Lima

Keyword(s):

Modeling And Simulation ◽

Multiple Sources ◽

Hybrid Petri Nets

Download Full-text

Hybrid Petri nets with general one-shot transitions

Performance Evaluation ◽

10.1016/j.peva.2016.09.002 ◽

2016 ◽

Vol 105 ◽

pp. 22-50 ◽

Author(s):

Marco Gribaudo ◽

Anne Remke

Keyword(s):

Hybrid Petri Nets ◽

Shot Transitions

Download Full-text