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

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"
}