Toggle Main Menu Toggle Search

Open Access padlockePrints

Complementing the Role Model Method with Petri Net Techniques in Studying Issues of Data Freshness of the Four-slot Mechanism

Lookup NU author(s): Dr Fei Xia, Dr Ian Clark



Simpson's role model method [7, 8] was designed for the analysis of synchronisation-free data communication mechanisms employing shared memory and has been shown to be especially useful for the representation and analyses of data freshness properties. Previously published analyses using the role model method have employed proprietary state space search techniques developed by Simpson. In this report, a formal definition of role models is given and a way of representing role models using Petri nets is presented. Potential advantages of analysing systems using the role model method complemented with Petri net techniques are demonstrated with a case study of data freshness properties of a data communication algorithm.

Publication metadata

Author(s): Xia F, Clark IG

Publication type: Report

Publication status: Published

Series Title: Department of Computing Science Technical Report Series

Year: 1998

Pages: 17

Print publication date: 01/01/1998

Source Publication Date: 1998

Report Number: 654

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

Place Published: Newcastle upon Tyne