Toggle Main Menu Toggle Search

Open Access padlockePrints

Signal Graphs: from Self-Timed to Timed Ones

Lookup NU author(s): Professor Alex Yakovlev

Downloads

Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


Abstract

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.


Publication metadata

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

Pages: 199-206

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

ISBN: 081868674X


Actions

Link to this publication


Share