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

DOI10.1016/S0167-9260(96)00010-7MaRDI QIDQ4332039zbMATH OpenFDO

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

Publication date 27 February 1997

Published in Integration (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0167-9260(96)00010-7

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Analytic circuit theory (94C05)

Recommendations

• Lectures on Concurrency and Petri Nets
• scientific article; zbMATH DE number 1696445
• Verification of asynchronous circuits by BDD-based model checking of Petri nets
• Asynchronous control device design by net model behavior simulation
• scientific article; zbMATH DE number 1786640

Cited in

(12)

• An extension of the taxonomy of persistent and nonviolent steps
• scientific article; zbMATH DE number 1696445 (Why is no real title available?)
• scientific article; zbMATH DE number 1696469 (Why is no real title available?)
• Model reconstruction for discrete deterministic systems
• scientific article; zbMATH DE number 2088656 (Why is no real title available?)
• scientific article; zbMATH DE number 4201658 (Why is no real title available?)
• scientific article; zbMATH DE number 1751904 (Why is no real title available?)
• Asynchronous control device design by net model behavior simulation
• Verification of asynchronous circuits by BDD-based model checking of Petri nets
• Step persistence in the design of GALS systems
• Lectures on Concurrency and Petri Nets
• Encoding the dynamics of deterministic systems

Describes a project that uses

Uses Software

• PROD

This page was built for publication: Modelling, analysis and synthesis of asynchronous control circuits using Petri nets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4332039)