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 (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.
An application example of symbolic calculus for SWN structural relations
FRANCESCHINIS, Giuliana Annamaria
2004-01-01
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 (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.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
