On Questions of Fairness and Temporal Logic for Conflict- Free Petri Nets.
Rodney R. HowellLouis E. RosierPublished in: European Workshop on Applications and Theory of Petri Nets (1987)
Keyphrases
- petri net
- temporal logic
- conflict free
- concurrent systems
- model checking
- modal logic
- reactive systems
- functional dependencies
- petri net model
- database schemes
- discrete event systems
- colored petri nets
- fuzzy petri net
- verification method
- computation tree logic
- service composition
- argumentation frameworks
- belief revision
- stochastic petri net
- linear temporal logic