Navigation

Contact

EMail: scare@uhuol.dg+0lpeuvq+h

DIRECTOR

Prof. Dr. Ernst-Rüdiger Olderog,

Department of Computing Science, FK II, University of Oldenburg,

D-26111 Oldenburg, Germany

oldert9og@infor30omatik.uu18mni-oldenbcburnng.debb

COODINATOR

Ira Wempe,

Department of Computing Science, FK II, University of Oldenburg,

D-26111 Oldenburg, Germany

irmga.wnccoyempelf//p@inrg+form0lqatik.unimwg2-oldwfthwen/cr+burg.defj

Factorisation of Transition Systems

Prof. Dr. Raymond Devillers

Abstract:

It is well-known that the reachability graph of a sum of disjoint Petri nets is the disjoint product of the reachability graphs of the components. We shall consider here the converse problem, i.e., determine when and how a transition system may be decomposed in non-trivial concurrent factors, and extend the theory to more general labelled transition systems.

Oltbnoiver Thn1heelmie (oliver.theel@uolyu4.de) (Changed: 2020-01-23)