PN: Formalism Presentation

Petri Nets: Formal Presentation

What properties and problems can be analyzed?

Properties can be divided into:

· structural properties – marking independent

· behavioral properties – marking dependent

Petri net properties

Diapositiva precedente

Diapositiva successiva

Torna alla prima diaposiva

Visualizza versione grafica