Modelling, analysis and synthesis of asynchronous control circuits using Petri nets
From MaRDI portal
Publication:4332039
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)
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (4)
Model reconstruction for discrete deterministic systems ⋮ Step Persistence in the Design of GALS Systems ⋮ Encoding the dynamics of deterministic systems ⋮ An extension of the taxonomy of persistent and nonviolent steps
Uses Software
This page was built for publication: Modelling, analysis and synthesis of asynchronous control circuits using Petri nets
