Combined Siphon and Marking Generation for Deadlock Prevention in Petri Nets.
Luigi PiroddiRoberto CordoneIvano FumagalliPublished in: IEEE Trans. Syst. Man Cybern. Part A (2009)
Keyphrases
- petri net
- petri net model
- manufacturing systems
- discrete event systems
- fuzzy petri net
- service composition
- high level petri nets
- state machines
- colored petri nets
- stochastic petri net
- discrete dynamical systems
- process model
- knowledge base
- concurrent systems
- neural network
- fuzzy logic
- expert systems
- programmable logic controller