Publication Details

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

URBÁŠEK Milan. New Safety Property and Liveness Preserving Morphisms of P/T Systems. Forschungsberichte des Fachbereichs Informatik, vol. 2002, no. 14. ISSN 1436-9915.

Type

report

Language

english

Authors

Urbášek Milan, Ing. (FIT BUT)

Keywords

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

Abstract

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.

Published

2002

Pages

Journal

Forschungsberichte des Fachbereichs Informatik, vol. 2002, no. 14, ISSN 1436-9915

Publisher

Technical University of Berlin

Place

Berlin, DE

BibTeX

@TECHREPORT{FITPUB6981,
   author = "Milan Urb\'{a}\v{s}ek",
   title = "New Safety Property and Liveness Preserving Morphisms of P/T Systems",
   pages = 93,
   journal = "Forschungsberichte des Fachbereichs Informatik",
   volume = 2002,
   number = 14,
   year = 2002,
   location = "Berlin, DE",
   publisher = "Technical University of Berlin",
   ISSN = "1436-9915",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/6981"
}