High Level Petri Nets
Timed formalisms: High Level Petri nets
Petri nets extended with:
- color (for attribute modeling),
- time (for performance analysis),
- hierarchy (for model structuring),
Applications:
- WorkFlow Management Systems
- Flexible Manufacturing Systems