Detail výsledku

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.
Typ
kapitola, resp. kapitoly v odborné knize
Jazyk
anglicky
Autoři
Urbášek Milan, Ing.
Klíčová slova

Categories, Petri nets, Bisimulation relations

Rok
1999
Strany
109–110
Kniha
Sborník prací studentů a doktorandů FEI VUT
ISBN
80-214-1155-4
Vydavatel
unknown
Místo
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"
}
Projekty
Výzkum a aplikace heterogenních modelů, GAČR, Standardní projekty, GA102/98/0552, zahájení: 1998-01-01, ukončení: 2000-12-31, ukončen
Výzkumné skupiny
Výzkumná skupina modelování a optimalizace (VZ MODSIM)
Pracoviště
Fakulta informačních technologií (FIT)
Nahoru