On the Upward/Downward Closures of Petri Nets.

Mohamed Faouzi Atig Roland Meyer Sebastian Muskalla Prakash Saivasan

Published in: MFCS (2017)

Keyphrases

petri net
petri net model
discrete event systems
colored petri nets
high level petri nets

manufacturing systems
stochastic petri net
fuzzy petri net
discrete dynamical systems

ims ld
state machines
process model
concurrent systems

computational intelligence
service composition
programmable logic controller
knowledge acquisition