Some results on siphon computation for deadlock prevention in resource allocation systems modeled with Petri nets.
Fernando TricasJoaquín EzpeletaPublished in: ETFA (1) (2003)
Keyphrases
- resource allocation
- petri net
- discrete event systems
- resource requirements
- resource usage
- resource allocation problems
- resource management
- manufacturing systems
- allocation problems
- petri net model
- optimal resource allocation
- scarce resources
- dynamic resource allocation
- resource allocation decisions
- colored petri nets
- resource consumption
- model based diagnosis
- hardware and software
- complex systems
- distributed systems