Petri Net Invariant Synthesis.

Peter Chini Florian Furbach

Published in: CoRR (2021)

Keyphrases

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