An Application Example of a Symbolic Calculus for SWN Structural Relations

Structural analysis techniques allow system properties to be efficiently verified and may significantly improve the effectiveness of the state-space based analysis. Symbolic approaches have been proposed to extend in an effective way structural analysis results from ordinary Petri nets to high level Petri nets but they apply to restricted sub-classes of high level Petri nets (e.g. Unary Regular nets). In the paper some salient points of a novel symbolic calculus for Stochastic Well-formed Nets structural relations are presented using an example.