Classic and non-prophetic model checking for hybrid Petri nets with stochastic firings

Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control ◽

10.1145/3365365.3382198 ◽

2020 ◽

Cited By ~ 1

Author(s):

Carina Pilch ◽

Arnd Hartmanns ◽

Anne Remke

Keyword(s):

Model Checking ◽

Petri Nets ◽

Hybrid Petri Nets

Download Full-text

Performance evaluation and model checking in systems modeled as Hybrid Petri nets

Applied Mathematical Modelling ◽

10.1016/j.apm.2011.11.016 ◽

2012 ◽

Vol 36 (8) ◽

pp. 3941-3947 ◽

Cited By ~ 4

Author(s):

K. Renganathan ◽

Vidhyacharan Bhaskar

Keyword(s):

Performance Evaluation ◽

Model Checking ◽

Petri Nets ◽

Hybrid Petri Nets

Download Full-text

Model Checking the STL Time-Bounded Until on Hybrid Petri Nets Using Nef Polyhedra

Computer Performance Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-319-66583-2_7 ◽

2017 ◽

pp. 101-116 ◽

Cited By ~ 1

Author(s):

Adrian Godde ◽

Anne Remke

Keyword(s):

Model Checking ◽

Petri Nets ◽

Hybrid Petri Nets

Download Full-text

hpnmg: A C++ Tool for Model Checking Hybrid Petri Nets with General Transitions

Lecture Notes in Computer Science - NASA Formal Methods ◽

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

2020 ◽

pp. 369-378

Author(s):

Jannik Hüls ◽

Henner Niehaus ◽

Anne Remke

Keyword(s):

Model Checking ◽

Petri Nets ◽

Hybrid Petri Nets

Download Full-text

Spatial quorum sensing modelling using coloured hybrid Petri nets and simulative model checking

BMC Bioinformatics ◽

10.1186/s12859-019-2690-z ◽

2019 ◽

Vol 20 (S4) ◽

Cited By ~ 5

Author(s):

David Gilbert ◽

Monika Heiner ◽

Leila Ghanbar ◽

Jacek Chodak

Keyword(s):

Quorum Sensing ◽

Model Checking ◽

Petri Nets ◽

Hybrid Petri Nets ◽

Simulative Model Checking ◽

Simulative Model

Download Full-text

Statistical Model Checking for Hybrid Petri Nets with Multiple General Transitions

2017 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) ◽

10.1109/dsn.2017.41 ◽

2017 ◽

Cited By ~ 8

Author(s):

Carina Pilch ◽

Anne Remke

Keyword(s):

Model Checking ◽

Statistical Model ◽

Petri Nets ◽

Statistical Model Checking ◽

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 ◽

Cited By ~ 2

Author(s):

J. R. B. Sousa ◽

A. M. N. Lima

Keyword(s):

Modeling And Simulation ◽

Petri Nets ◽

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 ◽

Cited By ~ 9

Author(s):

Marco Gribaudo ◽

Anne Remke

Keyword(s):

Petri Nets ◽

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 ◽

Cited By ~ 1

Author(s):

Amr Ismail ◽

Mostafa Herajy ◽

Monika Heiner

Keyword(s):

Petri Nets ◽

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 ◽

Cited By ~ 1

Author(s):

Senlin Guan ◽

Morikazu Nakamura ◽

Takeshi Shikanai

Keyword(s):

Petri Nets ◽

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

Petri Nets ◽

Hybrid Petri Nets

Download Full-text