Detail publikace

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

GAJEWSKY, M. PADBERG, J. URBÁŠEK, M.

Originální název

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

Typ

zpráva odborná

Jazyk

angličtina

Originální abstrakt

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.

Klíčová slova

net transformations, rule-based refinement, liveness

Autoři

GAJEWSKY, M.; PADBERG, J.; URBÁŠEK, M.

Vydáno

1. 1. 2001

Nakladatel

Technical University of Berlin

Místo

Berlin

ISSN

1436-9915

Periodikum

Forschungsberichte des Fachbereichs Informatik

Ročník

2001

Číslo

8

Stát

Spolková republika Německo

Strany počet

63

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