The design of dynamic or adaptable discrete-event systems needs for adequate modeling techniques in order to manage possible structural changes occurring during system's lifecycle. An usual approach is that of polluting design with details not concerning the (current) system behavior, rather its evolution. That hampers analysis, reuse and maintenance in general. A Petri net-based reflective layout based on classical Petri nets was recently proposed to support dynamic discrete-event system's design, and was applied to dynamic workflows. The basic idea is that keeping functional aspects separated from evolutionary ones, deploying evolution on the (current) system configuration when necessary, results in a clean formal model for dynamic systems. This model preserves the ability of verifying properties typical of classical Petri nets. As a first step toward the implementation of a discrete-event simulator, Reflective Petri nets are provided with a (symbolic) reduced state-transition graph.

(Symbolic) state-space inspection of a class of dynamic Petri nets / L. Capra, W. Cazzola. - 1(2010 Jul), pp. 522-530. ((Intervento presentato al convegno Summer Computer Simulation Conference tenutosi a Ottawa nel 2010.

(Symbolic) state-space inspection of a class of dynamic Petri nets

L. Capra
Primo
;
W. Cazzola
Ultimo
2010-07

Abstract

The design of dynamic or adaptable discrete-event systems needs for adequate modeling techniques in order to manage possible structural changes occurring during system's lifecycle. An usual approach is that of polluting design with details not concerning the (current) system behavior, rather its evolution. That hampers analysis, reuse and maintenance in general. A Petri net-based reflective layout based on classical Petri nets was recently proposed to support dynamic discrete-event system's design, and was applied to dynamic workflows. The basic idea is that keeping functional aspects separated from evolutionary ones, deploying evolution on the (current) system configuration when necessary, results in a clean formal model for dynamic systems. This model preserves the ability of verifying properties typical of classical Petri nets. As a first step toward the implementation of a discrete-event simulator, Reflective Petri nets are provided with a (symbolic) reduced state-transition graph.
Dynamic systems; Evolution; Petri nets; Quotient-graph
Settore INF/01 - Informatica
http://dl.acm.org/citation.cfm?id=1999483
Article (author)
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate

Caricamento 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: http://hdl.handle.net/2434/191716
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? ND
social impact