Navigation

Contact

EMail: scdyqgzare@ednwuoueyqjl.dcyeftu

DIRECTOR

Prof. Dr. Ernst-Rüdiger Olderog,

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

D-26111 Oldenburg, Germany

oldeaeyrog@in/xmpjformatik.ufxa/ni-oldenburg.d/uemsn

COODINATOR

Ira Wempe,

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

D-26111 Oldenburg, Germany

ira.wempe@infehformekatik.uni-olde82ljnbxy3gzurg.debgke

Uli Schlachter: k-Bounded Petri Net Synthesis from Modal Transition Systems

We present a goal-oriented algorithm that can synthesise k-bounded Petri nets from hyper modal transition systems (hMTS), an extension of labelled transition systems with optional and required behaviour. The algorithm builds a potential reachability graph of a Petri net from scratch, extending it stepwise with required behaviour from the given MTS and over-approximating the result to a new valid reachability graph. Termination occurs if either the MTS yields no additional requirements or the resulting net of the second step shows a conflict with the behaviour allowed by the MTS, making it non-sythesisable.

Olqr9ivde//fer ztdaTheel (olicpnnvver.ttd7phefkel@uol.de) (Changed: 2020-01-23)