Marked petri nets within a categorial framework
Visualizar/abrir
Data
1995Tipo
Assunto
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. ...
Contido em
Revista de Informatica Teorica e Aplicada. Porto Alegre. vol. 2, n. 2 (out.1995), p. 71-92
Origem
Nacional
Coleções
-
Artigos de Periódicos (40090)Ciências Exatas e da Terra (6108)
Este item está licenciado na Creative Commons License