Description: Definition:
places, transitions, inputs, outputs
firing enabled transitions
Modelling:
concurrency and synchronization
Properties of nets:
liveness, boundedness
Implementing Petri net models:
centralized and decentralized schemes
To Search:
File list (Check if you may need any files):
10PetriNets.ppt
Download