Report

GAJEWSKY Maike, PADBERG Julia and URBÁŠEK Milan. Rule-Based Refinement for Place/Transition Systems: Preserving Liveness-Properties. Forschungsberichte des Fachbereichs Informatik. Berlin: 2001, vol. 2001, no. 8. ISSN 1436-9915.
Publication language:english
Original title:Rule-Based Refinement for Place/Transition Systems: Preserving Liveness-Properties
Pages:63
Place:Berlin, DE
Year:2001
Journal:Forschungsberichte des Fachbereichs Informatik, Vol. 2001, No. 8, Berlin, DE
ISSN:1436-9915
Publisher:Technical University of Berlin
Keywords
net transformations, rule-based refinement, liveness
Annotation
The technical report introduces transformations of Place/Transition Petri nets, which are rule-based, i.e. with a strong background in category theory. The presented transformations are special cases of transition refinement with one important property: they preserve liveness of the modified Petri net.
Abstract
The technical report introduces transformations of Place/Transition Petri nets, which are rule-based, i.e. with a strong background in category theory. The presented transformations are special cases of transition refinement with one important property: they preserve liveness of the modified Petri net.
BibTeX:
@TECHREPORT{
   author = {Maike Gajewsky and Julia Padberg and Milan
	Urb{\'{a}}{\v{s}}ek},
   title = {Rule-Based Refinement for Place/Transition Systems:
	Preserving Liveness-Properties},
   pages = {63},
   journal = {Forschungsberichte des Fachbereichs Informatik},
   volume = {2001},
   number = {8},
   year = {2001},
   location = {Berlin, DE},
   publisher = {Technical University of Berlin},
   ISSN = {1436-9915},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=6541}
}

Your IPv4 address: 54.234.247.118
Switch to IPv6 connection

DNSSEC [dnssec]