Toggle Main Menu Toggle Search

Open Access padlockePrints

Visualisation of Partial Order Models in VLSI Design Flow

Lookup NU author(s): Dr Alex Bystrov, Professor Maciej KoutnyORCiD, Professor Alex Yakovlev



This paper presents a new method, algorithms and tool for the visualisation of a finite complete prefix of a Petri net or a signal transition graph. A transformation is defined that converts such a prefix into a two-level model. At the top level, it has a finite state machine, describing modes of operation and transitions between them. At the low level, there are marked graphs, which can be drawn as waveforms, embedded into the top level nodes. The models of both levels are abstractions traditionally used by electronics engineers. The resultant model is completed trace equivalent to the original prefix. Moreover, the branching structure of the latter is preserved as much as possible.

Publication metadata

Author(s): Bystrov A, Koutny M, Yakovlev A

Publication type: Report

Publication status: Published

Series Title: Department of Computing Science Technical Report Series

Year: 2001

Pages: 16

Report Number: 744

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

Place Published: Newcastle upon Tyne