Result with impact on practice detail

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

URBÁŠEK, M.

Original Title

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

English Title

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

Type

Research report

Original Abstract

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.

English abstract

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.

Keywords

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

Key words in English

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

Authors

URBÁŠEK, M.

Released

30.10.2002

Publisher

Technical University of Berlin

Location

Berlin

ISBN

1436-9915

Periodical

Forschungsberichte des Fachbereichs Informatik

Volume

2002

Number

14

State

Federal Republic of Germany

Pages count

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