Toggle Main Menu Toggle Search

Open Access padlockePrints

Identifying State Coding Conflicts in Asynchronous System Specifications Using Petri Net Unfoldings

Lookup NU author(s): Professor Alex Yakovlev



State coding conflict detection is a fundamental part of synthesis of asynchronous concurrent systems from their specifications as Signal Transition Graphs (STGs), which are a special kind of labelled Petri nets. The paper develops a method for identifying state coding conflicts in STGs that is intended to work within a new synthesis framework based on Petri net unfolding. The latter offers potential advantages due to a partial order representation of highly concurrent behaviour as opposed to the more traditional construction of a state graph, known to suffer from combinatorial explosion. We develop a necessary condition for coding conflicts to exist, by using an approximate state covering approach. Being computationally easy, yet conservative, such a solution may produce fake conflicts. A technique for refining the latter, with extra computational cost, is provided. Supported by EPSRC grants HADES (research project) and ASTI (visiting fellowships).

Publication metadata

Author(s): Kondratyev A, Cortadella J, Kishinevsky M, Lavagno L, Taubin A, Yakovlev A

Publication type: Report

Publication status: Published

Series Title: Department of Computing Science Technical Report Series

Year: 1997

Pages: 28

Print publication date: 01/01/1997

Source Publication Date: 1997

Report Number: 614

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

Place Published: Newcastle upon Tyne