Technical Report 4.29(I). Progretto Finalizzato Sistemi Informatici e Calcolo Parallelo. Consiglio Nazionale delle Ricerche (CNR), Italy, March 1991.
Also in: 91; 3rd Workshop on Concurrency and Compositionality, 1991, Goslar, Germany / Best, E.; et al.: GMD-Studien Nr. 191; Hildesheimer Informatik-Berichte 6, pages 83-85. St. Augustin, Germany: Gesellschaft für Mathematik und Datenverarbeitung mbH --- Universität Hildesheim (Germany), Institut für Informatik, May 1991. Extended abstract.
Abstract: Meseguer and Montanari defined a hierarchy of categories to represent the structure and the behaviour of place/transition nets. This categorial approach allows one to consider well known concepts of Petri net theory in a framework suitable to handle in a uniform way both structural and behavioural aspects of Petri nets. This paper investigates the possibility of applying a similar approach to the basic class of Petri nets called elementary nets. The interest in this subclass is motivated by their characteristics which make them a solid basis on which to study basic properties of concurrency.
Keywords: elementary net; (2-) category; structure (and) the behaviour (of) place/transition net(s); concurrency property.
Back to the Petri Nets Bibliography