Algebra and Logic Seminar

The next meeting of the seminar will be held on September 15, 2017 (Friday), at 11:00, in Room 578 of the Institute of Mathematics and Informatics.

A talk on

SYNTHESIS OF PETRI NETS WITH WHOLE-PLACE OPERATIONS AND LOCALITIES

will be delivered by Marta PIETKIEWICZ-KOUTNY (School of Computing, Newcastle University, Newcastle upon Tyne, UK).

Everybody is invited.

Abstract. Synthesising systems from behavioural specifications is an attractive way of constructing implementations which are correct-by-design and thus requiring no costly validation efforts. In this talk, systems are modeled by Petri nets and the behavioural specifications are provided in the form of step transition systems, where arcs are labeled by multisets of executed actions. We focus on the problem of synthesising Petri nets with whole-place operations and localities (WPOL-nets), which are a class of Petri nets powerful enough to express a wide range of system behaviours, including inhibition of actions, resetting of local states, and locally maximal executions.

The synthesis problem was solved for several specific net classes and later a general approach was developed within the framework of tau-nets. In this talk, we follow the synthesis techniques introduced for tau-nets that are based on the notion of a region of a transition system, which we suitably adapt to work for WPOL-nets.