Toggle Main Menu Toggle Search

Open Access padlockePrints

Modeling and verifying asynchronous communication mechanisms using coloured petri nets

Lookup NU author(s): Dr Fei Xia


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


Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed concurrent processes. In previous work, two automatic ACM synthesis methods have been proposed. However, problems remain unresolved with the most asynchronous type of ACMs, the overwriting and rereading bounded buffer (OWRRBB), especially with buffer sizes greater than one. In this work, a method of systematic modeling and verification of multi-cell OWRRBBs is presented. This method supports the study of these kinds of ACMs with regard to vital data and temporal characteristics. © 2008 IEEE.

Publication metadata

Author(s): Gorgonio K, Xia F

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: Proceedings of the 8th International Conference on Application of Concurrency to System Design, ACSD

Year of Conference: 2008

Pages: 138-147

ISSN: 1550-4808

Publisher: IEEE


DOI: 10.1109/ACSD.2008.4574605

Library holdings: Search Newcastle University Library for this item

ISBN: 9781424418381