Publication Details

Categories of Petri nets: a bisimulation approach

URBÁŠEK Milan. Categories of Petri nets: a bisimulation approach. Sborník prací studentů a doktorandů FEI VUT. Brno: unknown, 1999, pp. 109-110. ISBN 80-214-1155-4.
Type
book chapter
Language
english
Authors
Urbášek Milan, Ing. (DCSE FEECS BUT)
Keywords

Categories, Petri nets, Bisimulation relations

Annotation

Earlier work of many authors introduced a categorical framework into the Petri net model of concurrency by using structure-preserving morphisms. In a process calculus model, such as Milner's CCS, however, the relations between communicating systems are not functional. We extend the Petri net notion of morphisms to include such types of behaviour equivalence used in process algebra, in particular simulation and bisimulation equivalence.

Published
1999
Pages
109-110
Book
Sborník prací studentů a doktorandů FEI VUT
ISBN
80-214-1155-4
Place
Brno, CZ
BibTeX 
@INBOOK{FITPUB6531,
   author = "Milan Urb\'{a}\v{s}ek",
   title = "Categories of Petri nets: a bisimulation approach",
   pages = "109--110",
   booktitle = "Sborn\'{i}k prac\'{i} student\r{u} a doktorand\r{u} FEI VUT",
   year = 1999,
   location = "Brno, CZ",
   ISBN = "80-214-1155-4",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/6531"
}
Back to top