Asynchronous control device design by net model behavior simulation

DOI10.1007/3-540-61363-3_27zbMath1418.68008OpenAlexW1545173650MaRDI QIDQ4633179

Vyatcheslav B. Marakhovsky, V. I. Varshavskij

Publication date: 2 May 2019

Published in: Application and Theory of Petri Nets 1996 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-61363-3_27

zbMATH Keywords

asynchronous circuitsignal graphevent frameinput conditionlinear fragment

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical problems of computer architecture (68M07)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Asynchronous control device design by net model behavior simulation