Sciweavers

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