G. Boudol, G. Roucairol, and R. de Simone. Petri nets and algebraic calculi of processes. Advances in Petri Nets 1985.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....one of them can be seen at a time; thus anyone looking at the two processes would see an a followed by a b or viceversa. True concurrency explores the regions in which this assumption is not true, including the settings of Petri nets, pomsets, and event structures. Work in this area includes [Bou85, BRdS85, BC87, BC89, CH87, CMP87, Gis84, GG89, vGW89, PP88, Vaa89, Vaa89]. In this thesis, we propose a notion of ready simulation between processes. We are lead to ready simulation from semantical concerns; e.g. ready simulation semantics are fully abstract with respect to CCS with copying and asymmetric communication primitives. Ready simulation includes a positive ....

G'erard Boudol, G'erard Roucairol, and Robert de Simone. Petri nets and algebraic calculi of processes. Technical Report 410, INRIA Sophia-Antipolis, France, 1985.

....is the Petri Box Calculus of [15, 16] Other examples of this line of research are [19, 21, 29, 30, 45, 49, 59] In this chapter, the converse approach is pursued. In particular, in Section 6.3, a translation from labeled P T nets into algebraic terms is given. Other examples of this approach are [20, 22]. The main difference between the approach taken in this chapter and other approaches is that this chapter emphasizes equational reasoning, whereas other approaches often emphasize the semantic framework. Some other authors have taken an approach to modeling and analyzing concurrent systems based ....

G. Boudol, G. Roucairol, and R. de Simone. Petri Nets and Algebraic Calculi of Processes. In G. Rozenberg, editor, Advances in Petri Nets 1985, volume 222 of Lecture Notes in Computer Science, pages 41--58. Springer, Berlin, Germany, 1985.

....[13] Van Glabbeek and Vaandrager [16] Goltz [19] Montanari and Yankelevich [28] Olderog [29] and Taubner [33] As explained, this paper does the converse. It gives an algebraic semantics for P T nets. Examples of this approach are Baeten and Bergstra [2] Boudol, Roucairol, and De Simone [11], and Dietz and Schreibert [14] All three approaches are discussed briefly. Dietz and Schreibert [14] give an algebraic semantics for P T nets which reflects the parallelism in their dynamic behavior. The parallel components in the algebraic representation of a net do not correspond to its ....

....an algebraic semantics for P T nets which reflects the parallelism in their dynamic behavior. The parallel components in the algebraic representation of a net do not correspond to its structural components. Such a relationship does exist in the other two papers. Boudol, Roucairol, and De Simone [11] give an algebraic term for each place and each transition of a P T net. The complete behavior of the net is the parallel composition of all these terms. The communication between these terms corresponds to the flow of tokens. A similar approach is taken by Baeten and Bergstra [2] Atomic actions ....

G. Boudol, G. Roucairol, and R. de Simone. Petri Nets and Algebraic Calculi of Processes. In G. Rozenberg, editor, Advances in Petri Nets 1985, volume 222 of Lecture Notes in Computer Science, pages 41--58. Springer-- Verlag, Berlin, Germany, 1985.

....[11] Van GlabbeekandVaandrager [15] Goltz [16] Montanariand Yankelevich [24] Olderog [25] and Taubner [28] As explained, this paper does the converse. It gives an algebraic semantics for P T nets. Examples of this approach are Baeten and Bergstra [2] Boudol, Roucairol, and De Simone [9], and Dietz and Schreibert [12] All three approaches are discussed briefly. Dietz and Schreibert [12] give an algebraic semantics of P T nets which reflects the parallelism in their dynamic behavior. The parallel components in the algebraic representation of a net do not correspond to its ....

....an algebraic semantics of P T nets which reflects the parallelism in their dynamic behavior. The parallel components in the algebraic representation of a net do not correspond to its structural components. Such a relationship does exist in the other two papers. Boudol, Roucairol, and De Simone [9] give an algebraic term for each place and each transition of a P T net. The complete behavior of the net is the parallel composition of all these terms. The communication between these terms corresponds to the flow of tokens. A similar approach is taken by Baeten and Bergstra [2] Atomic ....

G. Boudol, G. Roucairol, and R. de Simone. Petri Nets and Algebraic Calculi of Processes. In APN '85, LNCS 222, pages 41--58. Springer--Verlag, 1985.

No context found.

G. Boudol, G. Roucairol, and R. de Simone. Petri nets and algebraic calculi of processes. Advances in Petri Nets 1985.

No context found.

G. Boudol, G. Roucairol, and R. de Simone. Petri nets and algebraic calculi of processes. Advances in Petri Nets 1985.

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