Toggle Main Menu Toggle Search

Open Access padlockePrints

The Newcastle University research output collection, currently available on ePrints, will shortly be moving to a new open repository platform, Figshare. To prepare for the data migration we have paused adding new content to ePrints, and will resume once the new repository is launched. During this time you will continue to have access to ePrints (but no new content will appear). We will share updates here when available.

Processes of Petri Nets with Localities

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

Downloads

Abstract

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

URL: http://www.cs.ncl.ac.uk/publications/trs/papers/941.pdf

Share