Toggle Main Menu Toggle Search

Open Access padlockePrints

Synthesis of PTL-nets with Partially Localised Conflicts

Lookup NU author(s): Professor Maciej KoutnyORCiD, Dr Marta Koutny



We discuss the problem of constructing PT-nets with localities (PTL-nets) from transition systems with arcs labelled by multisets of transitions (steps). We first outline how this can be done within the existing general solution based on the regions of step transition systems and fixed co-location relations. We then drop the latter assumption and show that this does not really matter when one aims at synthesising PTL-nets where all conflicts involve conflicts between co-located transitions.

Publication metadata

Author(s): Koutny M, Pietkiewicz-Koutny M

Publication type: Report

Publication status: Published

Series Title: School of Computing Science Technical Report Series

Year: 2009

Pages: 8

Print publication date: 01/03/2009

Source Publication Date: March 2009

Report Number: 1142

Institution: School of Computing Science, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne