Publication Details

Categories of Petri nets: a bisimulation approach

URBÁŠEK, M. Categories of Petri nets: a bisimulation approach. In Sborník prací studentů a doktorandů FEI VUT. Brno: unknown, 1999. p. 109-110. ISBN: 80-214-1155-4.
Type
book chapter
Language
English
Authors
Urbášek Milan, Ing.
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
Publisher
unknown
Place
Brno
BibTeX 
@inbook{BUT191505,
  author="Milan {Urbášek}",
  title="Categories of Petri nets: a bisimulation approach",
  booktitle="Sborník prací studentů a doktorandů FEI VUT",
  year="1999",
  publisher="unknown",
  address="Brno",
  pages="109--110",
  isbn="80-214-1155-4"
}
Back to top