Result with impact on practice 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

English Title

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

Type

Research report

Keywords

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

Key words in English

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

Authors

URBÁŠEK, M.

Released

01.01.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"
}