*For the most recent entries see the
Petri Nets Newsletter.*

## Compositional Modeling of Reactive Systems Using Open Nets.

Baldan, P.;
Corradini, A.;
Ehrig, H.;
Heckel, R.
In:
*LNCS 2154: CONCUR 2001 - Concurrency Theory*, pages 502-pp.
12th International Conference, Aalborg, Denmark, August 20-25, 2001, Proceedings / K. G. Larsen, M. Nielsen (Eds.) --- Springer Verlag,
2001.

Abstract:
In order to model the behaviour of open concurrent systems by means of
Petri nets, we introduce open Petri nets, a generalization of the ordinary
model where some places, designated as open, represent an interface of the
system towards the environment. Besides generalizing the token game to
reflect this extension, we define a truly concurrent semantics for open
nets by extending the Goltz-Reisig process semantics of Petri nets. We
introduce a composition operation over open nets, characterized as a
pushout in the corresponding category, suitable to model both interaction
through open places and synchronization of transitions. The process
semantics is shown to be compositional with respect to such composition
operation. Technically, our result is similar to the amalgamation theorem
for data-types in the framework of algebraic specifications. A possible
application field of the proposed constructions and results is the
modeling of interorganizational workflows, recently studied in the
literature. This is illustrated by a running example.

*Do you need a refined search? Try our search engine
which allows complex field-based queries.*
*Back to the Petri Nets Bibliography*