On the Upward/Downward Closures of Petri Nets.

Mohamed Faouzi Atig Roland Meyer Sebastian Muskalla Prakash Saivasan

Published in: CoRR (2017)

Keyphrases

petri net
discrete event systems
petri net model
colored petri nets
fuzzy petri net
manufacturing systems
ims ld
high level petri nets
process model
service composition
discrete dynamical systems
programmable logic controller
sequence diagrams
concurrent systems
stochastic petri net