Structural properties of Petri Nets (PN) have an important role in the process of model validation and analysis. When considering Stochastic PNs, comprising stochastic timed and immediate transitions, structural analysis becomes a fundamental step in net-level definition of probabilistic parameters. High Level PN (HLPN) structural analysis still poses many problems and is often based on the unfolding of the HLPN model:this approach prevents the exploitation of model behavioural symmetries. A more effective alternative approach consists in providing a language, along with an associated calculus, making it possible to derive expressions defining structural relations among node instances of a HLPN model in a symbolic and parametric form: this has been proposed in the literature for Symmetric Nets (SN). The goal of the present paper is to summarize the language defined to express SNs' structural relations and to formalize the derivation of a basic set of such relations; in particular the algorithms to compute the Structural Mutual Exclusion relation and the symmetric and transitive closure of Structural Conflict are an original contribution of this paper. Examples of applications are also included. The algorithms required to support the calculus for symbolic structural relations computation have been recently completed and implemented in a tool called SNexpression.

Computing Structural Properties of Symmetric Nets

DE PIERRO, Massimiliano;
2015-01-01

Abstract

Structural properties of Petri Nets (PN) have an important role in the process of model validation and analysis. When considering Stochastic PNs, comprising stochastic timed and immediate transitions, structural analysis becomes a fundamental step in net-level definition of probabilistic parameters. High Level PN (HLPN) structural analysis still poses many problems and is often based on the unfolding of the HLPN model:this approach prevents the exploitation of model behavioural symmetries. A more effective alternative approach consists in providing a language, along with an associated calculus, making it possible to derive expressions defining structural relations among node instances of a HLPN model in a symbolic and parametric form: this has been proposed in the literature for Symmetric Nets (SN). The goal of the present paper is to summarize the language defined to express SNs' structural relations and to formalize the derivation of a basic set of such relations; in particular the algorithms to compute the Structural Mutual Exclusion relation and the symmetric and transitive closure of Structural Conflict are an original contribution of this paper. Examples of applications are also included. The algorithms required to support the calculus for symbolic structural relations computation have been recently completed and implemented in a tool called SNexpression.
2015
Quantitative Evaluation of Systems, 12th International Conference, QEST 2015 Proceedings
Madrid, Spain
September 1–3, 2015
Quantitative Evaluation of Systems
Springer International Publishing
9259
125
140
978-3-319-22263-9
http://dx.doi.org/10.1007/978-3-319-22264-6_9
Capra, Lorenzo; De Pierro, Massimiliano; Franceschinis, Giuliana
File in questo prodotto:
File Dimensione Formato  
paperQEST2015.pdf

Open Access dal 23/08/2016

Descrizione: Articolo principale
Tipo di file: POSTPRINT (VERSIONE FINALE DELL’AUTORE)
Dimensione 884.5 kB
Formato Adobe PDF
884.5 kB Adobe PDF Visualizza/Apri

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/2318/1572234
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 13
  • ???jsp.display-item.citation.isi??? 9
social impact