Propositional dynamic logic for Petri nets.

Bruno Lopes Mario R. F. Benevides Edward Hermann Haeusler

Published in: Log. J. IGPL (2014)

Keyphrases

petri net
propositional dynamic logic
dynamic logic
reasoning about actions
petri net model
manufacturing systems
discrete event systems
colored petri nets
service composition
artificial intelligence
concurrent systems
stochastic petri net
dynamical systems
sequence diagrams
fuzzy petri net