An application example of symbolic calculus for SWN structural relations

L. CAPRA, PIERRO M. DE, Giuliana Annamaria FRANCESCHINIS

Risultato della ricerca: Contributo alla conferenzaContributo in Atti di Convegnopeer 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 (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
Pagine225-230
Numero di pagine6
Stato di pubblicazionePubblicato - 1 gen 2004
Evento7th Workshop on Discrete Event Systems - Reims, France
Durata: 1 gen 2004 → …

???event.eventtypes.event.conference???

???event.eventtypes.event.conference???7th Workshop on Discrete Event Systems
CittàReims, France
Periodo1/01/04 → …

Fingerprint

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

Cita questo