Using theory of regions with selective siphon control for deadlock prevention policy in Petri nets.
Yen-Liang PanYi-Sheng HuangMuDer JengSheng-Luen ChungPublished in: SMC (2012)
Keyphrases
- petri net
- programmable logic controller
- petri net model
- colored petri nets
- discrete event systems
- control system
- manufacturing systems
- state machines
- control method
- fuzzy petri net
- service composition
- concurrent systems
- ims ld
- stochastic petri net
- control strategy
- fuzzy control
- sequence diagrams
- hardware and software
- discrete dynamical systems