Sciweavers

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