Sciweavers

Share
SAC
2002
ACM
9 years 5 months ago
An infrastructure language for open nets
The structure of open nets, like the Internet, is highly dynamic, as the topology of component networks continuously evolves. In this context, node connectivity is a key aspect an...
Lorenzo Bettini, Michele Loreti, Rosario Pugliese
GG
2008
Springer
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 reļ¬ned notion of interf...
Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Bar...
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