Collaboration Petri Nets: Verification, Equivalence, and Discovery (Extended Version).

Janik-Vasily Benzin Stefanie Rinderle-Ma

Published in: CoRR (2024)

Keyphrases

petri net
petri net model
colored petri nets
concurrent systems
manufacturing systems
discrete event systems
service composition
stochastic petri net
data mining
fuzzy petri net
collaborative learning
discrete dynamical systems
ims ld