PN: Formalism Presentation

Petri Nets: Formal Presentation

An autonomous Petri net is a structure :

(P, T, Pré, Post)

with

- P finite set of places

- T finite set of Transitions

- Pre is a function,

Pré: P x T -> IN,

called Precondition

- Post is a function,

Post: P x T -> IN,

called Postcondition

Diapositiva precedente

Diapositiva successiva

Torna alla prima diaposiva

Visualizza versione grafica