Browse by author
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.
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
URL: http://www.cs.ncl.ac.uk/publications/trs/papers/744.pdf
