Detail výsledku s přesahem do praxe

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

Anglický název

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

Druh

Výzkumná zpráva

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

Anglický 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

Klíčová slova v angličtině

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

Svazek

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