Publication detail

Bisimulation relations in categories of A-labelled Petri nets and the connection of CCS and Petri nets

URBÁŠEK, M.

Original Title

Bisimulation relations in categories of A-labelled Petri nets and the connection of CCS and Petri nets

Type

report

Language

English

Keywords

Petri net, process algebras, CCS, bisimulation, category, translation algorithm.

Authors

URBÁŠEK, M.

Released

1. 1. 1999

Publisher

unknown

Location

Huddersfield, Great Britain

Pages count

77

BibTex

@techreport{BUT191503,
  author="Milan {Urbášek}",
  title="Bisimulation relations in categories of A-labelled Petri nets and the connection of CCS and Petri nets",
  year="1999",
  publisher="unknown",
  address="Huddersfield, Great Britain",
  pages="77"
}