J. Meseguer, U. Montanari, and V. Sassone (1997), On the Semantics of Place/Transition Petri Nets. Mathematical Structures in Computer Science 7, 359--397, Cambridge University Press. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Representation Theorems for Petri Nets - Meseguer, Montanari, Sassone (3 citations) (Correct)
....a net. Our interest, instead, resides on abstract models that capture the mathematical essence of such spaces, possibly axiomatically, roughly in the same way as a prime algebraic domain (or, equivalently, a prime event structure) models the computations of a safe net [9] The research detailed in [6, 3, 4, 14, 7, 8, 16] identifies such structures as symmetric monoidal categories where objects are states, i.e. multisets of tokens, arrows are processes, and the tensor product and the arrow composition model, respectively, the operations of parallel and sequential composition of processes. At a higher level of ....
J. MESEGUER, U. MONTANARI, AND V. SASSONE (1997), On the Semantics of PlaceTransition Petri Nets, Mathematical Structures in Computer Science, to appear. Avalaible by anonymous ftp at http://www.di.unipi.it/ vs.
Pre-Nets, Read Arcs and Unfolding: A Functorial Presentation - Baldan, Bruni, Montanari (2002) Self-citation (Montanari Nets) (Correct)
No context found.
J. Meseguer, U. Montanari, and V. Sassone. On the semantics of Place/Transition Petri nets. Math. Struct. in Comput. Sci., 7:359--397, 1997.
A Comparison of Petri Net Semantics under the.. - Bruni, Meseguer.. (1998) (1 citation) Self-citation (Meseguer Montanari) (Correct)
No context found.
J. MESEGUER, U. MONTANARI, AND V. SASSONE (1997), On the Semantics of Place/Transition Petri Nets. Mathematical Structures in Computer Science 7, 359--397, Cambridge University Press.
The Algebraic Structure of Petri Nets - Sassone (2000) (Correct)
No context found.
J. Meseguer, U. Montanari, and V. Sassone (1997), On the Semantics of Place/Transition Petri Nets. Mathematical Structures in Computer Science 7, 359--397, Cambridge University Press.
The Algebraic Structure of Petri Nets - Sassone (2000) (Correct)
No context found.
J. Meseguer, U. Montanari, and V. Sassone (1997), On the Semantics of Place/Transition Petri Nets. Mathematical Structures in Computer Science 7, 359--397, Cambridge University Press.
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