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: 44th Annual Simulation Symposium 2011 : ANSS 2011 / [a cura di] S. Biaz, S. Wu. - San 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.
A lumped Markov process for a class of dynamic Petri nets
L. CapraPrimo
2011
Abstract
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.File | Dimensione | Formato | |
---|---|---|---|
2048370.2048396.pdf
accesso riservato
Tipologia:
Publisher's version/PDF
Dimensione
724.6 kB
Formato
Adobe PDF
|
724.6 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.