A Taxonomy of Fairness and Temporal Logic Problems for Petri Nets.
Rodney R. HowellLouis E. RosierHsu-Chun YenPublished in: Theor. Comput. Sci. (1991)
Keyphrases
- temporal logic
- petri net
- concurrent systems
- model checking
- reactive systems
- modal logic
- np complete
- satisfiability problem
- state machines
- fuzzy petri net
- discrete event systems
- temporal knowledge
- colored petri nets
- artificial intelligence
- bounded model checking
- petri net model
- computation tree logic
- stochastic petri net