An application example of symbolic calculus for SWN structural relations

L. Capra, M. De Pierro, G. Franceschinis

Risultato della ricerca: Contributo su rivistaArticolo da conferenzapeer review

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 originaleInglese
pagine (da-a)225-230
Numero di pagine6
RivistaIFAC-PapersOnLine
Volume37
Numero di pubblicazione18
DOI
Stato di pubblicazionePubblicato - 2004
Evento7th International Workshop on Discrete Event Systems, WODES 2004 - Reims, France
Durata: 22 set 200424 set 2004

Fingerprint

Entra nei temi di ricerca di 'An application example of symbolic calculus for SWN structural relations'. Insieme formano una fingerprint unica.

Cita questo