Towards reasoning about Petri nets: A Propositional Dynamic Logic based approach.
Mario R. F. BenevidesBruno LopesEdward Hermann HaeuslerPublished in: Theor. Comput. Sci. (2018)
Keyphrases
- petri net
- propositional dynamic logic
- petri net model
- discrete event systems
- colored petri nets
- manufacturing systems
- reasoning about actions
- fuzzy petri net
- dynamic logic
- stochastic petri net
- concurrent systems
- discrete dynamical systems
- service composition
- ims ld
- concurrent processes
- state machines
- artificial intelligence
- object oriented