PN: Formalism Presentation

Petri Nets: Formal Presentation

How determine if a Petri Net has a certain good property?

- dead lock free

- liveness

- reversibility,

- Boundness

Analysis Methods

Diapositiva precedente

Diapositiva successiva

Torna alla prima diaposiva

Visualizza versione grafica