Distance Between Mutually Reachable Petri Net Configurations.

Jérôme Leroux

Published in: FSTTCS (2019)

Keyphrases

petri net
petri net model
manufacturing systems
discrete event systems
high level petri nets
fuzzy petri net
web service composition
colored petri nets
stochastic petri net
ims ld
control system
model checking
concurrent systems
story generation