Speaker: Marc Voorhoeve (AIS, TU/e)
Title: Equivalence of open nets

Abstract:
Petri Nets are often used to model and analyze
concurrent systems. Open nets are Petri nets with "open" and
"closed" places and a merge-with-place-fusion operator that
graphically combines various open nets. Adding a renaming and
hiding operator allows component-oriented modelling. We give an
operational semantics of open nets and the operators and prove
that the operators are congruences w.r.t. strong and weak
bisimilarity.