Publication Details

Rule-Based Refinement for Place/Transition Systems: Preserving Liveness-Properties

GAJEWSKY Maike, PADBERG Julia and URBÁŠEK Milan. Rule-Based Refinement for Place/Transition Systems: Preserving Liveness-Properties. Forschungsberichte des Fachbereichs Informatik, vol. 2001, no. 8. ISSN 1436-9915.
Type
technical report
Language
english
Authors
Gajewsky Maike ( unknown)
Padberg Julia ( unknown)
Urbášek Milan, Ing. (DCSE FEECS BUT)
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, DE
BibTeX
@TECHREPORT{FITPUB6541,
   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 = "https://www.fit.vut.cz/research/publication/6541"
}
Back to top