A tool for symbolic manipulation of arc functions in Symmetric Net models

Structural properties of Petri Nets (PN) have an important role in the process of model validation and analysis. When dealing with high level Petri nets (HLPN) structural analysis still poses many problems and often tools go through the unfolding of the HLPN model and apply PN structural analysis techniques to the unfolded model: with this approach the symmetries present in the models are completely ignored and cannot be exploited. Structural properties of HLPN can be defined as relations among node instances using symbolic and parametric expressions; the computation of such expressions from the model structure and annotations requires the development of a specific calculus, as the one proposed in the literature for Symmetric Nets (SN). When dealing with Stochastic SN (SSN), comprising stochastic timed transitions and immediate transitions, structural analysis becomes a fundamental step in net-level definition of probabilistic parameters. Moreover some structural relations allow to automatize the derivation of symbolic Ordinary Differential Equations for the solution of SSN models with huge state space. The goal of the present paper is to summarize the language defined to express SNs' structural relations, to complete the formalization of some interesting structural properties as expressions of the calculus, and to provide examples of their use. The algorithms required to support the calculus for symbolic structural relations computation have been recently completed and implemented in a tool called SNexpression.

show abstract

A tool for symbolic manipulation of arc functions in Symmetric Net models

Cited by 6 publications

References 3 publications

Deriving Symbolic Ordinary Differential Equations from Stochastic Symmetric Nets Without Unfolding

Deriving Symbolic Ordinary Differential Equations from Stochastic Symmetric Nets Without Unfolding

SNexpression: A Symbolic Calculator for Symmetric Net Expressions

Computing Structural Properties of Symmetric Nets

Contact Info

Product

Resources

About