CONCUR   2001 Seminar on Concurrency
Wall of Fame | Most Viewed CONCUR-2001 Paper
10 years 11 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...
Disclaimer and Copyright Notice
Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
1Download preprint from source155
2Download preprint from source143
3Download preprint from source133
4Download preprint from source125
5Download preprint from source112
6Download preprint from source110
7Download preprint from source104
8Download preprint from source102
9Download preprint from source97
10Download preprint from source96
11Download preprint from source94
12Download preprint from source93
13Download preprint from source87
14Download preprint from source81