Toggle Main Menu Toggle Search

Open Access padlockePrints

Processes of Petri Nets with Localities

Lookup NU author(s): Professor Henriette Kleijn, Professor Maciej KoutnyORCiD



We consider a class of Petri nets suitable for the modelling and behavioural analysis of globally asynchronous locally synchronous (GALS) systems. The proposed model of PTL-nets is basically that of Place/Transition-nets (PT-nets) equipped with an explicit notion of locality. Each locality identifies a distinct set of transitions which may only be executed synchronously, i.e. in a maximally concurrent manner. We investigate how to capture the non-sequential semantics of PTL-nets using techniques similar to those used in the standard treatment of PT-nets. As a result, we postulate that processes based on occurrence nets augmented with additional information about localities and enabledness of non-fired transitions can provide a satisfactory basis for a causality semantics of PTL-nets.

Publication metadata

Author(s): Kleijn HCM, Koutny M, Rozenberg G

Publication type: Report

Publication status: Published

Series Title: School of Computing Science Technical Report Series

Year: 2006

Pages: 22

Print publication date: 01/01/2006

Source Publication Date: January 2006

Report Number: 941

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

Place Published: Newcastle upon Tyne