Sciweavers

2 search results - page 1 / 1
» On Multi-agent Petri Net Models for Computing Extensive Fini...
Sort
View
CONCUR
2001
Springer
13 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...