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.
Lingua originale | Inglese |
---|---|
pagine (da-a) | 225-230 |
Numero di pagine | 6 |
Rivista | IFAC-PapersOnLine |
Volume | 37 |
Numero di pubblicazione | 18 |
DOI | |
Stato di pubblicazione | Pubblicato - 2004 |
Evento | 7th International Workshop on Discrete Event Systems, WODES 2004 - Reims, France Durata: 22 set 2004 → 24 set 2004 |