Browse by author
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.
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
