Publication Details
Rule-Based Refinement for Place/Transition Systems: Preserving Liveness-Properties
GAJEWSKY, M.; PADBERG, J.; URBÁŠEK, M. Rule-Based Refinement for Place/Transition Systems: Preserving Liveness-Properties. Forschungsberichte des Fachbereichs Informatik. Berlin: Technical University of Berlin, 2001. ISSN: 1436-9915.
Type
report
Language
English
Authors
Gajewsky Maike
Padberg Julia
Urbášek Milan, Ing.
Padberg Julia
Urbášek Milan, Ing.
Keywords
net transformations, rule-based refinement, liveness
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.
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.
Published
2001
Pages
63
Journal
Forschungsberichte des Fachbereichs Informatik, vol. 2001, no. 8, ISSN 1436-9915
Publisher
Technical University of Berlin
Place
Berlin
BibTeX
@techreport{BUT191495,
author="Maike {Gajewsky} and Julia {Padberg} and Milan {Urbášek}",
title="Rule-Based Refinement for Place/Transition Systems: Preserving Liveness-Properties",
year="2001",
publisher="Technical University of Berlin",
address="Berlin",
pages="63"
}