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

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

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

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

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

A Graphical Approach for Hybrid Modelling of Intracellular Calcium Dynamics Based on Coloured Hybrid Petri Nets

Computational Biology - Automated Reasoning for Systems Biology and Medicine ◽

10.1007/978-3-030-17297-8_13 ◽

2019 ◽

pp. 349-367 ◽

Author(s):

Amr Ismail ◽

Mostafa Herajy ◽

Monika Heiner

Keyword(s):

Intracellular Calcium ◽

Calcium Dynamics ◽

Hybrid Modelling ◽

Graphical Approach ◽

Hybrid Petri Nets ◽

Intracellular Calcium Dynamics

Download Full-text

Hybrid Petri Nets and Metaheuristic Approach to Farm Work Scheduling

Advances in Petri Net Theory and Applications ◽

10.5772/10298 ◽

2010 ◽

Author(s):

Senlin Guan ◽

Morikazu Nakamura ◽

Takeshi Shikanai

Keyword(s):

Farm Work ◽

Hybrid Petri Nets ◽

Work Scheduling

Download Full-text

Hybrid Petri Nets with Speeds Depending on the C-Marking

Discrete, Continuous, and Hybrid Petri Nets ◽

10.1007/3-540-26821-9_7 ◽

2005 ◽

pp. 279-320

Keyword(s):

Hybrid Petri Nets

Download Full-text