[Invited Talk 16.05.2017] Devillers
Kontakt
EMail:
DIREKTOR
Prof. Dr. Ernst-Rüdiger Olderog,
Department für Informatik, FK II, Universität Oldenburg,
D-26111 Oldenburg, Germany
KOODINATORIN
Ira Wempe,
Department für Informatik, FK II, Universität Oldenburg,
D-26111 Oldenburg, Germany
Contact
Director
Prof. Dr. Ernst-Rüdiger Olderog
Coordinator
Ira Wempe
[Invited Talk 16.05.2017] Devillers
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.