Toggle Main Menu Toggle Search

Open Access padlockePrints

Desynchronisation Technique Using Petri Nets

Lookup NU author(s): Sohini Dasgupta, Professor Alex Yakovlev


Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


In this paper we consider the problem of desynchronising modular synchronous specifications for their realisation into GALS architectures and obtaining simple wrappers that are efficiently synthesisable using existing synthesis tools. The systems are modeled using Petri nets (PN) and the desynchronisation technique is based on the theory of PN Localities. The firing semantics of a globally synchronous system is characterised by maximal firing of input and output transitions. The partitioning of a synchronous system is achieved by unbundling the input transitions and allowing the output transitions to fire in maximal steps, in order to enable asynchronous communication in a distributed environment. Our model satisfies the two essential correctness properties, namely, semantics preservation and deadlock prevention, during the shift from maximal firing semantics, followed by synchronous systems, to standard interleaving semantics for input transitions and maximal step firing semantics for output transitions, followed by GALS architectures. The formation of localities is supported by adding internal signals which are necessary for building wrappers in the localities that will generate local clock enables. These wrappers can be subsequently synthesised using PN based synthesis tools. © 2009 Elsevier B.V. All rights reserved.

Publication metadata

Author(s): Dasgupta S, Yakovlev A

Publication type: Article

Publication status: Published

Journal: Electronic Notes in Theoretical Computer Science

Year: 2009

Volume: 245

Pages: 51-67

ISSN (electronic): 1571-0661

Publisher: Elsevier BV


DOI: 10.1016/j.entcs.2009.07.028

Notes: Proceedings of the 4th International Workshop on the Application of Formal Methods for Globally Asynchronous and Locally Synchronous Design (FMGALS 2009)


Altmetrics provided by Altmetric