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