Prévia do material em texto
3 Petri Nets Petri Nets (PN) are a graphical paradigm for the formal description of the logical interactions among parts or of the flow of activities in complex systems. PN are particularly suited to model: Ø Concurrency and Conflict; Ø Sequencing, conditional branching and looping; Ø Synchronization; Ø Sharing of limited resources; Ø Mutual exclusion.