Articulation of Transition Systems and Its Application to Petri Net Synthesis.

Raymond R. Devillers

Published in: Petri Nets (2019)

Keyphrases

petri net
transition systems
concurrent systems
reactive systems
petri net model
model checking
temporal logic
fuzzy petri net
service composition
web service composition
ims ld
stochastic petri net
colored petri nets
practical reasoning
process model
state space
learning algorithm