Abstract
Structural analysis techniques allow system properties to be efficiently verified, and may significantly improve the effectiveness of 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 symbolic calculus of Stochastic Well-formed Nets structural relations are presented using an example.
Full Text 
Sign-in/Register to access full text options
Sign-in/Register to access full text options 
Published version (
Free)
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
