An Efficient Search Algorithm for Deadlock-Free Scheduling in FMS Using Petri Nets.
Imed Ben AbdallahHoda A. ElMaraghyTarek Y. ElMekkawyPublished in: ICRA (1998)
Keyphrases
- petri net
- deadlock free
- search algorithm
- concurrency control
- petri net model
- routing algorithm
- discrete event systems
- manufacturing systems
- transaction processing
- colored petri nets
- fuzzy petri net
- service composition
- ims ld
- programmable logic controller
- concurrent systems
- stochastic petri net
- database systems
- network traffic