Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets.

Paolo Baldan Andrea Corradini Hartmut Ehrig Reiko Heckel Barbara König

Published in: CALCO (2007)

Keyphrases

petri net
petri net model
discrete event systems
manufacturing systems
high level petri nets
fuzzy petri net
service composition
artificial intelligence
state machines
process model
ims ld
colored petri nets
stochastic petri net
rough sets
concurrent systems
discrete dynamical systems