Detail výsledku

New Safety Property and Liveness Preserving Morphisms of P/T Systems

URBÁŠEK, M. New Safety Property and Liveness Preserving Morphisms of P/T Systems. Forschungsberichte des Fachbereichs Informatik. Berlin: Technical University of Berlin, 2002. no. 14, 93 p. ISSN: 1436-9915.
Typ
výzkumná zpráva
Jazyk
angličtina
Autoři
Urbášek Milan, Ing., FIT (FIT)
Abstrakt

The technical report introduces therecent development in the area of property preserving model transformations of P/T nets. New transformations preserving safety properties and liveness are introduced. The relationship to major other works in this area is discussed.

Klíčová slova

net mode transformations, rule-based refinement, liveness, safety properties

Rok
2002
Strany
93
Časopis
Forschungsberichte des Fachbereichs Informatik, roč. 2002, č. 14, ISSN 1436-9915
Vydavatel
Technical University of Berlin
Místo
Berlin
BibTeX 
@techreport{BUT192461,
  author="Milan {Urbášek}",
  title="New Safety Property and Liveness Preserving Morphisms of P/T Systems",
  year="2002",
  publisher="Technical University of Berlin",
  address="Berlin",
  pages="93"
}
Projekty
Prostředí pro vývoj, modelování a aplikaci heterogenních systémů, GAČR, Standardní projekty, GA102/01/1485, zahájení: 2001-01-01, ukončení: 2003-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