Place Bisimulation and Liveness for Open Petri Nets.

Xiaoju Dong Yuxi Fu Daniele Varacca

Published in: SETTA (2016)

Keyphrases

petri net
manufacturing systems
petri net model
discrete event systems
high level petri nets
fuzzy petri net
colored petri nets
service composition
stochastic petri net
ims ld
state machines
programmable logic controller
discrete dynamical systems
genetic algorithm
low cost
concurrent systems