Detail publikace

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. p. 0-0. ISSN: 1436-9915.
Typ
výzkumná zpráva
Jazyk
anglicky
Autoři
Urbášek Milan, Ing.
Klíčová slova

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

Abstrakt

The technical report introduces the recent 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.

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