Mostrar registro simples

Marked petri nets within a categorial framework

dc.contributor.authorMenezes, Paulo Fernando Blauthpt_BR
dc.date.accessioned2023-03-22T03:23:31Zpt_BR
dc.date.issued1995pt_BR
dc.identifier.issn0103-4308pt_BR
dc.identifier.urihttp://hdl.handle.net/10183/256096pt_BR
dc.description.abstractWell 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.en
dc.format.mimetypeapplication/pdfpt_BR
dc.language.isoengpt_BR
dc.relation.ispartofRevista de Informatica Teorica e Aplicada. Porto Alegre. vol. 2, n. 2 (out.1995), p. 71-92pt_BR
dc.rightsOpen Accessen
dc.subjectTeoria : Ciência : Computaçãopt_BR
dc.subjectPetri netsen
dc.subjectnet-based semanticsen
dc.subjectRedes : Petript_BR
dc.subjectTeoria : Categoriaspt_BR
dc.subjectconcurrencyen
dc.subjectstructuring of netsen
dc.subjectrefinementen
dc.subjectinitial markingsen
dc.subjecttoken gameen
dc.subjectcategory theoryen
dc.titleMarked petri nets within a categorial frameworkpt_BR
dc.typeArtigo de periódicopt_BR
dc.identifier.nrb000115938pt_BR
dc.type.originNacionalpt_BR


Thumbnail
Nome:
000115938.pdf
Tamanho:
7.068Mb
Formato:
PDF
Descrição:
Texto completo (inglês)
Visualizar/abrir
   

Este item está licenciado na Creative Commons License

Mostrar registro simples