Drawing the Line: Basin Boundaries in Safe Petri Nets.

Stefan Haar Loïc Paulevé Stefan Schwoon

Published in: CMSB (2020)

Keyphrases

petri net
manufacturing systems
discrete event systems
petri net model
high level petri nets
service composition
state machines
ims ld
colored petri nets
concurrent systems
discrete dynamical systems
fuzzy petri net
sequence diagrams
concurrent processes
data analysis
hardware and software
low cost
high dimensional