Detail výsledku

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

URBÁŠEK, M. Bisimulation relations in categories of A-labelled Petri nets and the connection of CCS and Petri nets. Huddersfield, Great Britain: unknown, 1999. 77 p.
Typ
výzkumná zpráva
Jazyk
anglicky
Autoři
Urbášek Milan, Ing., FEKT (FEKT)
Klíčová slova

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

Rok
1999
Strany
77
Vydavatel
unknown
Místo
Huddersfield, Great Britain
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"
}
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