Time Complexity Analysis of the Legal Firing Sequence Problem of Petri Nets with Inhibitor Arcs.
Satoshi TaokaToshimasa WatanabePublished in: IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (2006)
Keyphrases
- petri net
- complexity analysis
- petri net model
- discrete event systems
- manufacturing systems
- lower bound
- first order logic
- theoretical analysis
- service composition
- colored petri nets
- computational complexity
- fuzzy petri net
- stochastic petri net
- sequence diagrams
- ims ld
- state machines
- low cost
- hardware and software
- temporal logic