Reasoning about Petri Nets: A Calculus Based on Resolution and Dynamic Logic.
Bruno LopesCláudia NalonEdward Hermann HaeuslerPublished in: ACM Trans. Comput. Log. (2021)
Keyphrases
- petri net
- dynamic logic
- modal operators
- process algebra
- petri net model
- modal logic
- manufacturing systems
- reasoning about actions
- discrete event systems
- concurrent systems
- imperative programs
- fuzzy petri net
- ims ld
- state machines
- qualitative spatial reasoning
- colored petri nets
- service composition
- propositional dynamic logic
- situation calculus
- temporal logic
- knowledge acquisition
- first order logic
- knowledge base