For the most recent entries see the Petri Nets Newsletter.

Elementary Nets and 2-Categories.

Diamantini, C.; Kasangian, S.; Pomello, L.; Simone, C.

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.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography