Detail publikačního výsledku

Categories of Petri nets: a bisimulation approach

URBÁŠEK, M.

Originální název

Categories of Petri nets: a bisimulation approach

Anglický název

Categories of Petri nets: a bisimulation approach

Druh

Kapitola, resp. kapitoly v odborné knize

Klíčová slova

Categories, Petri nets, Bisimulation relations

Klíčová slova v angličtině

Categories, Petri nets, Bisimulation relations

Autoři

URBÁŠEK, M.

Vydáno

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

Plný text v Digitální knihovně

http://hdl.handle.net/

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