The design of dynamic (adaptable) discrete-event systems calls for adequate modeling formalisms and tools able to manage possible changes occurring during system's lifecycle. A common approach is to pollute design with details that do not regard the current system behavior, rather its evolution. That hampers analysis, reuse and maintenance in general. A Petri net based reflective model (based on classical PN) was recently proposed to support dynamic discrete-event system's design, and was applied to dynamic workflow's management. Behind there is the idea that keeping functional aspects separated from evolutionary ones, and applying evolution to the (current) system only when necessary, results in a simple formal model on which the ability of verifying properties typical of Petri nets is preserved. On the perspective of implementing in the short time a discrete-event simulation engine, reflective Petri nets are provided in this paper with a timed state-transition graph semantics, defined in terms of a Markov process.

A Markov process for reflective Petri Nets / L. Capra - In: Proceedings of 20th European Modeling & Simulation Symposium, EMSS 2008 : 17-19 september, Campora S. Giovanni, Amantea, Italy / [a cura di] A. Bruzzone, F. Longo, M.A. Piera. - [s.l] : MSC-LES, 2008. - ISBN 9788890372407. - pp. 493-498 (( Intervento presentato al 20. convegno European Modeling and Simulation Symposium (EMSS) tenutosi a Amantea, Italia nel 2008.

A Markov process for reflective Petri Nets

L. Capra
Primo
2008

Abstract

The design of dynamic (adaptable) discrete-event systems calls for adequate modeling formalisms and tools able to manage possible changes occurring during system's lifecycle. A common approach is to pollute design with details that do not regard the current system behavior, rather its evolution. That hampers analysis, reuse and maintenance in general. A Petri net based reflective model (based on classical PN) was recently proposed to support dynamic discrete-event system's design, and was applied to dynamic workflow's management. Behind there is the idea that keeping functional aspects separated from evolutionary ones, and applying evolution to the (current) system only when necessary, results in a simple formal model on which the ability of verifying properties typical of Petri nets is preserved. On the perspective of implementing in the short time a discrete-event simulation engine, reflective Petri nets are provided in this paper with a timed state-transition graph semantics, defined in terms of a Markov process.
Dynamic systems; Evolution; State-transition graph; Stochastic Petri nets; Symbolic techniques
Settore INF/01 - Informatica
2008
Society for Modelling and Simulation International
Book Part (author)
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2434/237792
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? 0
social impact