Login / Signup
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets.
Paolo Baldan
Andrea Corradini
Hartmut Ehrig
Reiko Heckel
Barbara König
Published in:
Log. Methods Comput. Sci. (2008)
Keyphrases
</>
petri net
petri net model
discrete event systems
high level petri nets
manufacturing systems
colored petri nets
service composition
ims ld
stochastic petri net
neural network
state machines
programmable logic controller
genetic algorithm
process model