R. Bruni and U. Montanari. Zero-safe nets: Composing nets via transition synchronization. In Proc. Int. Colloquium on Petri Net Technologies, pages 43-80. Fraunhofer Gesellschaft ISST, 1999. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Appligraph: Applications of Graph Transformation - Third.. - Kreowski, (eds.) (2000) (Correct)
....as multisets of basic elements. They extend Petri nets with the notion of transaction atomic computation obtained via the synchronization mechanism and can provide a compositional semantic framework for many ccs like calculi. A tutorial introduction to the subject has also appeared in [BM99b] In [BM00a] a distributed interpreter for zero safe nets is de ned, which is reminiscent of the ordinary net unfolding. Finally, in [BM99a] an higher order extension of tile logic is discussed, which can provide a powerful type framework with applications to the area of reactive calculi with ....
R. Bruni and U. Montanari. Zero-safe nets: Composing nets via transition synchronization. In H. Weber, H. Ehrig, and 37 W. Reisig, editors, Int. Colloquium on Petri Net Technologies for Modelling Communication Based Systems, pages 43-80. Fraunhofer Gesellschaft ISST, 1999.
Zero-Safe Nets: Modeling Transactions via Transition.. - Bruni, Montanari (2000) (2 citations) Self-citation (Bruni Montanari) (Correct)
No context found.
R. Bruni and U. Montanari. Zero-safe nets: Composing nets via transition synchronization. In Proc. Int. Colloquium on Petri Net Technologies, pages 43-80. Fraunhofer Gesellschaft ISST, 1999.
Transactions and Zero-Safe Nets - Bruni, Montanari (2001) (3 citations) Self-citation (Bruni Montanari) (Correct)
....abstract semantics of zs nets according to the two more di used net philosophies (called collective token and individual token) have been presented in [13,14] A comparison between the two approaches has been discussed in [15] in the Ph.D. Thesis of rst author [10] and in the tutorial overview [17]. The distributed interpreter for zs nets has been proposed in [16] The modeling of distributed don t know choice and the extensions of the zero safe approach to other net avours (e.g. read arcs) have not appeared elsewhere. In Section 1 we recall pt nets and their semantics. Section 2 ....
R. Bruni and U. Montanari. Zero-safe nets: Composing nets via transition synchronization. In H. Weber, H. Ehrig, and W. Reisig, editors, Proceedings Int. Colloquium on Petri Net Technologies for Modelling Communication Based Systems, pages 43-80. Fraunhofer Gesellschaft ISST, 1999.
Executing Transactions in Zero-Safe Nets - Bruni, Montanari (2000) (2 citations) Self-citation (Bruni Montanari) (Correct)
....shown that they can be formulated as universal constructions in the language of category theory. A comparison between the two approaches together with several applications has been discussed in [12] and in the Ph.D. Thesis of rst author [7] A tutorial presentation of the material can be found in [13]. We focus here on a distributed interpreter for zs nets. Dining Philosophers and Free Choice Nets. A simple example that ts well the situation discussed so far can be illustrated by modeling the well known problems of dining philosophers: there are n philosophers (with n 2) sat on a round ....
R. Bruni and U. Montanari. Zero-safe nets: Composing nets via transition synchronization. In H. Weber, H. Ehrig, and W. Reisig, editors, Proceedings Int. Colloquium on Petri Net Technologies for Modelling Communication Based Systems, pages 43-80. Fraunhofer Gesellschaft ISST, 1999.
Appligraph: Applications of Graph Transformation - Final Report - Kreowski, (eds.) (2002) (Correct)
No context found.
R. Bruni and U. Montanari. Zero-safe nets: Composing nets via transition synchronization. In H. Weber, H. Ehrig, and W. Reisig, editors, Int. Colloquium on Petri Net Technologies for Modelling Communication Based Systems, pages 43-80. Fraunhofer Gesellschaft ISST, 1999.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC