Publication Details

Preserving Liveness with Rule-Based Refinement of Place/Transition Systems

URBÁŠEK Milan and PADBERG Julia. Preserving Liveness with Rule-Based Refinement of Place/Transition Systems. In: Proceedings of Sixth World Conference on Integrated Design and Process Technology (IDPT'02). Pasadena, 2002, p. 10.
Type
conference paper
Language
english
Authors
Urbášek Milan, Ing. (FIT BUT)
Padberg Julia ( unknown)
Keywords

net transformations, rule-based refinement, liveness

Abstract

The paper 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
2002
Pages
10
Proceedings
Proceedings of Sixth World Conference on Integrated Design and Process Technology (IDPT'02)
Conference
Sixth World Conference on Integrated Design and Process Technology , Pasadena, US
Place
Pasadena, US
BibTeX 
@INPROCEEDINGS{FITPUB6983,
   author = "Milan Urb\'{a}\v{s}ek and Julia Padberg",
   title = "Preserving Liveness with Rule-Based Refinement of Place/Transition Systems",
   pages = 10,
   booktitle = "Proceedings of Sixth World Conference on Integrated Design and Process Technology (IDPT'02)",
   year = 2002,
   location = "Pasadena, US",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/6983"
}
Back to top