Detail publikace

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

URBÁŠEK, M.

Originální název

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

Typ

výzkumná zpráva

Jazyk

angličtina

Originální 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.

Klíčová slova

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

Autoři

URBÁŠEK, M.

Vydáno

30. 10. 2002

Nakladatel

Technical University of Berlin

Místo

Berlin

ISSN

1436-9915

Periodikum

Forschungsberichte des Fachbereichs Informatik

Ročník

2002

Číslo

14

Stát

Spolková republika Německo

Strany počet

93

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