Report

URBÁŠEK Milan. New Safety Property and Liveness Preserving Morphisms of P/T Systems. Forschungsberichte des Fachbereichs Informatik. Berlin: 2002, vol. 2002, no. 14. ISSN 1436-9915.
Publication language:english
Original title:New Safety Property and Liveness Preserving Morphisms of P/T Systems
Pages:93
Place:Berlin, DE
Year:2002
Journal:Forschungsberichte des Fachbereichs Informatik, Vol. 2002, No. 14, Berlin, DE
ISSN:1436-9915
Publisher:Technical University of Berlin
Keywords
net mode transformations, rule-based refinement, liveness, safety properties
Annotation
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.
BibTeX:
@TECHREPORT{
   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 = {http://www.fit.vutbr.cz/research/view_pub.php?id=6981}
}

Your IPv4 address: 54.81.108.205
Switch to IPv6 connection

DNSSEC [dnssec]