Result 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. no. 14, 93 p. ISSN: 1436-9915.
Type
research report
Language
English
Authors
Urbášek Milan, Ing.
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

Published
2002
Pages
93
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"
}
Projects
Environment for Development, Modelling, and Application of Heterogeneous Systems, GACR, Standardní projekty, GA102/01/1485, start: 2001-01-01, end: 2003-12-31, completed
Research groups
System Modelling and Optimization Research Group (VZ MODSIM)
Departments
Faculty of Information Technology (FIT)
Back to top