Publication Details

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

URBÁŠEK, M. New Safety Property and Liveness Preserving Morphisms of P/T Systems. Forschungsberichte des Fachbereichs Informatik. Berlin: Technical University of Berlin, 2002. p. 0-0. ISSN: 1436-9915.

Type

report

Language

English

Authors

Urbášek Milan, Ing.

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

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