Marked petri nets within a categorial framework
View/ Open
Date
1995Type
Subject
Abstract
Well know categories of Petri nets lack coproducts and some re strictioné on nets, morphisms or initial markings are required in or der to guarantee the existence of colimits. Categories of Petri nets equipped with a set of initial markings (instead of a single initial marking) are introduced. It is shown that the proposed categories of nets are complete and cocomplete. Moreover,interpretations of limits and colimits are adequate for expressing semantics of concurrent sys tems. Examples ofstruc ...
Well know categories of Petri nets lack coproducts and some re strictioné on nets, morphisms or initial markings are required in or der to guarantee the existence of colimits. Categories of Petri nets equipped with a set of initial markings (instead of a single initial marking) are introduced. It is shown that the proposed categories of nets are complete and cocomplete. Moreover,interpretations of limits and colimits are adequate for expressing semantics of concurrent sys tems. Examples ofstructuring and modeling of behavior of nets using categoria! constructions based on limits and colimits are provided. ...
In
Revista de Informatica Teorica e Aplicada. Porto Alegre. vol. 2, n. 2 (out.1995), p. 71-92
Source
National
Collections
-
Journal Articles (40054)Exact and Earth Sciences (6103)
This item is licensed under a Creative Commons License