Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets

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

Published in: CoRR (2008)

Keyphrases

petri net
petri net model
high level petri nets
discrete event systems
colored petri nets
manufacturing systems
ims ld
fuzzy petri net
process model
data analysis
artificial intelligence
decision making
concurrent systems