Sciweavers

Share
GG
2008
Springer

Open Petri Nets: Non-deterministic Processes and Compositionality

9 years 6 months ago
Open Petri Nets: Non-deterministic Processes and Compositionality
We introduce ranked open nets, a reactive extension of Petri nets which generalises a basic open net model introduced in a previous work by allowing for a refined notion of interface. The interface towards the external environment of a ranked open net is given by a subset of places designated as open and used for composition. Additionally, a bound on the number of connections which are allowed on an open place can be specified. We show that the non-deterministic process semantics is compositional with respect to the composition operation over ranked open nets, a result which did not hold for basic open nets.
Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Bar
Added 09 Nov 2010
Updated 09 Nov 2010
Type Conference
Year 2008
Where GG
Authors Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Barbara König
Comments (0)
books