Petri Net Invariant Synthesis.

Peter Chini Florian Furbach

Published in: NETYS (2021)

Keyphrases

petri net
petri net model
manufacturing systems
discrete event systems
web service composition
high level petri nets
fuzzy petri net
colored petri nets
process model
service composition
learning processes
ims ld
concurrent systems
story generation
stochastic petri net