Lookup NU author(s): Professor Alex Yakovlev
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
The paper aims at the following goals: 1) to make a bridge between the concepts of Petri Net theory and the works concerned with self-timed systems (speed-independent circuits); 2) draw the designer's attention to a signal graph model which is an interpreted marked graph by demonstrating its advantages in producing concise specifications of asynchronous system behaviour and being an alternative tool to timing diagrams, which are traditionally used for interface protocol specification; 3) to generalize the signal graph model to allow finite time delay values to be taken into account, and to suggest a new approach to the analysis of the temporal behaviour of dynamic systems aiming at reducing the complexity of analysis procedure.
Author(s): Rosenblum LYa, Yakovlev AV
Publication type: Conference Proceedings (inc. Abstract)
Publication status: Published
Conference Name: International Workshop on Timed Petri nets
Year of Conference: 1985
Print publication date: 01/07/1985
Online publication date: 01/07/1985
Publisher: IEEE Computer Society Press
Library holdings: Search Newcastle University Library for this item