雅科夫列夫。;科尔曼斯，A.M。;A.塞梅诺夫。;Kinniment，D.J。 使用Petri网对异步控制电路进行建模、分析和综合。 （英文） Zbl 0875.68972号 集成。，超大规模集成电路J。 21，第3期，143-170（1996）. 小结：在本教程中，我们调查了异步控制电路建模、分析和综合的一些现有技术。所有这些方法都基于使用Petri网作为描述此类电路行为的工具。Petri网的描述能力使其能够对各种异步电路组件进行建模，无论它们是以两相（微管道）还是四相（基于逻辑门）设计风格构建的。我们提出了三种不同的方法来验证基于网络的模型，并展示了它们的相对优缺点。我们提倡对不同类别的Petri网及其验证的属性进行补充应用。以模N向上/向下计数器为例，演示了两种主要的综合方法。第一种是Petri网级分解和网到电路的语法定向转换的组合。第二种是基于信号转换图规范的逻辑综合。 引用于4文件 MSC公司： 68平方英寸 模拟（MSC2010） 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 94C05（二氧化碳） 解析电路理论 软件：产品 PDF格式BibTeX公司 XML格式引用 \textit{A.V.Yakovlev}等人，集成。，VLSI J.21，第3期，143--170（1996；Zbl 0875.68972） 全文： 内政部