definition: places, transitions, tokens... see:
use:
- to model concurrent processes
- to simulate and verify distributed systems and protocols
example:
The location of the tokens reflects the state of the system.
tools:
[3]
refs:
[4]
more:
- Use case maps [5] [6]
- UML activity diagrams [7]
(last edited September 12, 2006)
Find Page by browsing or searching
PetriNets