A Petri net-based reflective layout (called Reflective Petri nets) based on classical (high-level) Petri nets and consolidated reflection concepts has been recently proposed as a formal model for evolving discrete-event systems. The basic idea behind that approach is keeping functional aspects separated from evolutionary ones. This way the ability of verifying properties typical of classical Petri nets is retained. As a first step toward discrete-event simulation, Reflective Petri nets have been recently provided with a with a statetransition semantics. In this paper a (lumped) Markov process is formally defined for Reflective Petri nets, having as support structure a symbolic state-transition graph.
A lumped Markov process for a class of dynamic Petri nets / L. Capra - In: ANSS '11 : proceedings of the 44th Annual Simulation SymposiumSan Diego : Society for Computer Simulation International, 2011. - ISBN 1930638566. - pp. 188-197 (( Intervento presentato al 44. convegno Annual Simulation Symposium tenutosi a Boston nel 2011.
|Titolo:||A lumped Markov process for a class of dynamic Petri nets|
CAPRA, LORENZO (Primo)
|Parole Chiave:||Markov process ; Petri nets ; dynamic structure systems ; symbolic analysis|
|Settore Scientifico Disciplinare:||Settore INF/01 - Informatica|
|Data di pubblicazione:||2011|
|Enti collegati al convegno:||SIGSIM ACM Special Interest Group on Simulation and Modeling|
SCS Society for Modeling and Simulation International
|Tipologia:||Book Part (author)|
|Appare nelle tipologie:||03 - Contributo in volume|