Symmetry Reductions in Timed Continuous Petri Nets Under Infinite Server Semantics.

Anna-Lena Meyer Manuel Silva

Published in: ADHS (2012)

Keyphrases

petri net
petri net model
colored petri nets
manufacturing systems
discrete event systems
service composition
logic programming
state machines
process algebra
fuzzy petri net
discrete dynamical systems
knowledge acquisition
process model
programmable logic controller
artificial intelligence
concurrent systems