Acyclic and Cyclic Reversing Computations in Petri Nets.

Kamila Barylska Anna Gogolinska

Published in: CoRR (2021)

Keyphrases

petri net
discrete event systems
petri net model
high level petri nets
colored petri nets
manufacturing systems
fuzzy petri net
np hard
state machines
service composition
ims ld
discrete dynamical systems
programmable logic controller
process model
sequence diagrams