Detail publikace

Categories of Petri nets: a bisimulation approach

URBÁŠEK, M.

Originální název

Categories of Petri nets: a bisimulation approach

Typ

kapitola v knize

Jazyk

angličtina

Klíčová slova

Categories, Petri nets, Bisimulation relations

Autoři

URBÁŠEK, M.

Vydáno

1. 1. 1999

Nakladatel

unknown

Místo

Brno

ISBN

80-214-1155-4

Kniha

Sborník prací studentů a doktorandů FEI VUT

Strany od

109

Strany do

110

Strany počet

2

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