Sciweavers

Share
FUIN
2008
80views more  FUIN 2008»
9 years 5 months ago
Complete Process Semantics of Petri Nets
In the first part of this paper we extend the semantical framework proposed in [22] for process and causality semantics of Petri nets by an additional aim, firstly mentioned in the...
Gabriel Juhás, Robert Lorenz, Sebastian Mau...
CONCUR
2001
Springer
9 years 10 months ago
Compositional Modeling of Reactive Systems Using Open Nets
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, designate...
Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Rei...
books