Modelling, analysis and synthesis of asynchronous control circuits using Petri nets

DOI10.1016/S0167-9260(96)00010-7zbMath0875.68972MaRDI QIDQ4332039

A. M. Koelmans, A. V. Yakovlev, D. J. Kinniment, Alex Semenov

Publication date: 27 February 1997

Published in: Integration (Search for Journal in Brave)

Mathematics Subject Classification ID

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

94C05: Analytic circuit theory

Related Items

Step Persistence in the Design of GALS Systems, Encoding the dynamics of deterministic systems, An extension of the taxonomy of persistent and nonviolent steps, Model reconstruction for discrete deterministic systems

Uses Software

• PROD