M. Nielsen, L. Priese, and V. Sassone (1995), Characterizing Behavioural Congruences for Petri Nets, in Proc. CONCUR 95, Lecture Notes in Computer Science 962, 175-189, Springer.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....open Petri nets. Open Petri nets are nets with a distinguished set of places which are intended to represent the interface of the net towards the external world. Some similarities exist with other approaches to net composition, like Petri box calculus [11, 13, 23] the Petri nets with interface [15, 20] and the Petri net components [17] As a consequence of the (hidden, implicit) interaction between the net and the environment, some tokens can freely appear Introduction vi in, or disappear from, the open places. Moreover, net class transformations between elementary nets [21] ....

....the framework of this report. Category oPT of Open Place Transition Nets Open place transition nets are introduced for the rst time in [29, 30] Some similarities exist with other approaches to net composition like, for example, Petri box calculus [11, 13, 23] the Petri nets with interface [15, 20] and the Petri net components [17] Category oEN of Open Elementary Nets The category oEN is introduced for the rst time in the context of this report. It is an enhancement of the category EN analogous to the category oPT. Category oAHL of Open Algebraic High Level Nets The category oAHL is ....

M. Nielsen, L. Priese and V. Sassone. Characterizing Behavioural Congruences for Petri Nets. In Proceedings of CONCUR 1995.

....open net is a P T Petri net with a distinguished set of places which are intended to represent the interface of the net towards the external world. Some similarities exist 2 with other approaches to net composition, like the Petri box calculus [BDH92, KEB94, KB99] the Petri nets with interface [NPS95, PW98] and the Petri net components [Kin97] which will be discussed in the conclusions. As a consequence of the (hidden, implicit) interaction between the net and the environment, some tokens can freely appear in or disappear from the open places. Besides generalizing the token game to reflect ....

....and it focuses on a special class of nets and on the possibility of defining a kind of process algebra over such nets, where plain boxes are constants and operator boxes are the operators of the algebra. Another relevant approach in the second family, closer to ours, is presented in the papers [NPS95, PW98] which introduce an algebra of (labeled) Petri nets with interfaces. An interface consists of a set of public places and transitions, where a net can be extended and combined with other nets by means of composition operators. e.g. it is possible to add new transitions and places, to ....

M. Nielsen, L. Priese, and V. Sassone. Characterizing Behavioural Congruences for Petri Nets. In Proceedings of CONCUR'95, volume 962 of LNCS, pages 175--189. Springer Verlag, 1995.

No context found.

M. Nielsen, L. Priese, and V. Sassone (1995), Characterizing Behavioural Congruences for Petri Nets, in Proc. CONCUR 95, Lecture Notes in Computer Science 962, 175-189, Springer.

No context found.

M. Nielsen, L. Priese, and V. Sassone (1995), Characterizing Behavioural Congruences for Petri Nets, in Proc. CONCUR 95, Lecture Notes in Computer Science 962, 175-189, Springer.

....The reader may be surprised why the number n of transitions in an interface of N is completely ignored by U . The reason is that in a free Petri net a firing of a letter a uniquely determines the transition that has fired. A universal context for general Petri nets is slightly more involved, cf. [6] or [9] Figure 3 presents an example of a Petri net N of dimension (m; n) embedded into U m;n . The position of a place transition in the interface is denoted by the number next to the circle bar it is represented by. We are now able to explain our semantics for Petri nets and show its ....

M. Nielsen, L. Priese, V. Sassone, "Characterizing Behavioural Congruences for Petri Nets", Lecture Notes in Computer Science Vol. 962, Proceedings CONCUR '95, eds. I. Lee, S. Smolka, pp. 175--189, 1995.

.... Harro Wimmel 20 95 Universitat Koblenz Landau On Some Compositional Petri Net Semantics Lutz Priese Harro Wimmel Universitat Koblenz Landau D 56075 Koblenz, Germany priese,wimmel uni koblenz.de Abstract This paper continues a research on universal contexts and Petri net semantics started in [NPS95]. We regard generalized, labelled Petri nets, N , where some transitions and places are distinguished as public . They form the interface of N that may communicate with a Petri net context. An elementary calculus, E , is introduced that allows to construct any Petri net with an interface from ....

....introduce conflicts. If both N and C are so called Free Choice nets or Simple nets (see [Hac75] C[N ] becomes a Free Choice or Simple net again. With this kind of communication a modular decomposition theory for Petri nets becomes possible (compare [Pri83] For a further discussion we refer to [NPS95], where adding new arcs from transitions to places is used to connect a Petri net with a context. Connection to other calculi for Petri nets Milner presents an elementary calculus for Petri nets in [Mil93] that allows for the introduction of single places and transitions and to bind them to ....

[Article contains additional citation context not shown here]

M. Nielsen, L. Priese, V. Sassone, "Characterizing Behavioural Congruences for Petri Nets", Lecture Notes in Computer Science Vol. 962, Proceeding CONCUR '95, eds. I. Lee, S. Smolka, pp. 175--189, 1995.

No context found.

M. Nielsen, L. Priese, and V. Sassone (1995), Characterizing Behavioural Congruences for Petri Nets, in Proceedings of CONCUR 95, I. Lee and S. Smolka (Eds.), Lecture Notes in Computer Science 962, 175--189, Springer-Verlag.

No context found.

Nielsen, M., Priese, L. and Sassone, V., Characterizing behavioural congruences for Petri nets. Proc. CONCUR'95, LNCS 962 (1995) 175--189.

No context found.

Nielsen, M., Priese, L. and Sassone, V., Characterizing behavioural congruences for Petri nets. Proc. CONCUR'95, LNCS 962 (1995) 175--189.

No context found.

M. Nielsen, L. Priese, and V. Sassone (1995), Characterizing Behavioural Congruences for Petri Nets, in Proceedings of CONCUR 95, I. Lee and S. Smolka (Eds.), Lecture Notes in Computer Science 962, 175--189, Springer-Verlag.

No context found.

Nielsen, M., Priese, L. and Sassone, V., Characterizing behavioural congruences for Petri nets. Proc. CONCUR'95, LNCS 962 (1995) 175--189.

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