A Canonical Contraction for Safe Petri Nets.

Thomas Chatain Stefan Haar

Published in: Trans. Petri Nets Other Model. Concurr. (2014)

Keyphrases

petri net
petri net model
discrete event systems
manufacturing systems
high level petri nets
colored petri nets
discrete dynamical systems
process model
service composition
fuzzy petri net
stochastic petri net
ims ld
state machines
concurrent systems
fuzzy logic
belief revision