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

K. Renganathan; Vidhyacharan Bhaskar

doi:10.1016/j.apm.2011.11.016

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

Hybrid Petri-nets for modelling and performance evaluation of supply chains

International Journal of Production Research ◽

10.1080/00207543.2010.497173 ◽

2011 ◽

Vol 49 (15) ◽

pp. 4627-4656 ◽

Cited By ~ 9

Author(s):

Nitesh Khilwani ◽

M.K. Tiwari ◽

Ihsan Sabuncuoglu

Keyword(s):

Performance Evaluation ◽

Supply Chains ◽

Petri Nets ◽

Hybrid Petri Nets ◽

And Performance

Download Full-text

Performance evaluation of a TCP/IP transmission using hybrid petri nets

The 3rd ACS/IEEE International Conference onComputer Systems and Applications, 2005. ◽

10.1109/aiccsa.2005.1387048 ◽

2005 ◽

Author(s):

M. Bitam ◽

H. Alla

Keyword(s):

Performance Evaluation ◽

Petri Nets ◽

Hybrid Petri Nets

Download Full-text

Modeling, analysis and performance evaluation for fault diagnosis and Fault Tolerant Control in bottle-filling plant modeled using Hybrid Petri nets

Applied Mathematical Modelling ◽

10.1016/j.apm.2012.07.059 ◽

2013 ◽

Vol 37 (7) ◽

pp. 4842-4859 ◽

Cited By ~ 9

Author(s):

K. Renganathan ◽

Vidhyacharan Bhaskar

Keyword(s):

Performance Evaluation ◽

Fault Diagnosis ◽

Petri Nets ◽

Fault Tolerant ◽

Fault Tolerant Control ◽

Hybrid Petri Nets ◽

Modeling Analysis ◽

And Performance

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

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

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