Reversible Computation in Petri Nets.

Anna Philippou Kyriaki Psara

Published in: CoRR (2018)

Keyphrases

petri net
discrete event systems
high level petri nets
petri net model
manufacturing systems
state machines
stochastic petri net
ims ld
colored petri nets
fuzzy petri net
discrete dynamical systems
high dimensional
cellular automata
concurrent systems
service composition