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
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
93
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"
}
Back to top