Cycl$\mathbf {\circlearrowright }$n - A Tool for Determining Stop-Transitions of Petri Nets.

Jörg Desel Marc Finthammer Andrea Frank

Published in: Petri Nets (2020)

Keyphrases

petri net
petri net model
discrete event systems
manufacturing systems
high level petri nets
sequence diagrams
service composition
colored petri nets
fuzzy petri net
state machines
process model
neural network
ims ld
knowledge acquisition
computational intelligence
fuzzy logic
knowledge base