Result 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. no. 8, 63 p. ISSN: 1436-9915.

Type

report

Language

English

Authors

Gajewsky Maike
Padberg Julia
Urbášek Milan, Ing., FEEC (FEEC)

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.

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.

Published

2001

Pages

Journal

Forschungsberichte des Fachbereichs Informatik, vol. 2001, no. 8, ISSN 1436-9915

Publisher

Technical University of Berlin

Place

Berlin

BibTeX

@misc{BUT191495,
  author="Maike {Gajewsky} and Julia {Padberg} and Milan {Urbášek}",
  title="Rule-Based Refinement for Place/Transition Systems: Preserving Liveness-Properties",
  year="2001",
  journal="Forschungsberichte des Fachbereichs Informatik",
  volume="2001",
  number="8",
  pages="63",
  publisher="Technical University of Berlin",
  address="Berlin",
  issn="1436-9915"
}

Research groups

System Modelling and Optimization Research Group (RG MODSIM)

Departments

Faculty of Information Technology (FIT)