Login / Signup
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