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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
In the Stochastic SN formalism white transitions are timed, black transitions are immediate and have priority over the timed ones.
- 2.
This is due to the way conflicts among enabled immediate transitions are probabilistically solved, by normalization of their weights to obtain the probabilities.
References
Ajmone-Marsan, M., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modelling with Generalized Stochastic Petri Nets. Wiley, Chichester, UK (1995)
Beccuti, M., Fornari, C., Franceschinis, G., Halawani, S., Ba-Rukab, O., Ahmad, A., Balbo, G.: From symmetric nets to differential equations exploiting model symmetries. Comput. J. 58(1), 23–39 (2015)
Capra, L., De Pierro, M., Franceschinis, G.: A high level language for structural relations in well-formed nets. In: Ciardo, G., Darondeau, P. (eds.) ICATPN 2005. LNCS, vol. 3536, pp. 168–187. Springer, Heidelberg (2005)
Chiola, G., Dutheillet, C., Franceschinis, G., Haddad, S.: Stochastic Well-formed Coloured nets for symmetric modelling applications. IEEE Trans. Comput. 42(11), 1343–1360 (1993)
Dutheillet, C., Haddad, S.: Conflict sets in colored petri nets. In: Proceedings of Petri Nets and Performance Models, pp. 76–85 (1993)
Evangelista, S., Haddad, S., Pradat-Peyre, J.-F.: Syntactical colored petri nets reductions. In: Peled, D.A., Tsay, Y.-K. (eds.) ATVA 2005. LNCS, vol. 3707, pp. 202–216. Springer, Heidelberg (2005)
Evangelista, S.: Syntactical rules for colored petri nets manipulation. Technical report CEDRIC-04-641, CEDRIC-CNAM Paris, January 2004
Evangelista, S., Pradat-Peyre, J.-F.: On the computation of stubborn sets of colored petri nets. In: Donatelli, S., Thiagarajan, P.S. (eds.) ICATPN 2006. LNCS, vol. 4024, pp. 146–165. Springer, Heidelberg (2006)
Franceschinis, G., Capra, L., De Pierro, M.: A tool for symbolic manipulation of arc functions in symmetric net models. In: 7th International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2013, ICST, January 2014
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Capra, L., De Pierro, M., Franceschinis, G. (2015). Computing Structural Properties of Symmetric Nets. In: Campos, J., Haverkort, B. (eds) Quantitative Evaluation of Systems. QEST 2015. Lecture Notes in Computer Science(), vol 9259. Springer, Cham. https://doi.org/10.1007/978-3-319-22264-6_9
Download citation
DOI: https://doi.org/10.1007/978-3-319-22264-6_9
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-22263-9
Online ISBN: 978-3-319-22264-6
eBook Packages: Computer ScienceComputer Science (R0)