The Complexity of Synthesis for 43 Boolean Petri Net Types.

Ronny Tredup Christian Rosenke

Published in: TAMC (2019)

Keyphrases

petri net
petri net model
ims ld
high level petri nets
manufacturing systems
web service composition
discrete event systems
real valued
colored petri nets
fuzzy petri net
service composition
information processing
story generation
stochastic petri net