首页> 外文OA文献 >The Use of Petri Nets for the Design and Verification of Asynchronous Circuits and Systems

【2h】

The Use of Petri Nets for the Design and Verification of Asynchronous Circuits and Systems

机译：Petri网在异步电路和系统的设计和验证中的使用

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Alex Kondratyev; Jordi Cortadella; Michael Kishinevsky; Licioano Lavagno; Luciano Lavagno; Alexander Taubin;
展开▼
作者单位

展开▼
年度 1998
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Design, Analysis and Verification of Real-Time Systems Based on Time Petri Net Refinement [J] . ZHIJUN DING, CHANGJUN JIANG, MENGCHU ZHOU ACM Transactions on Embedded Computing Systems . 2013,第1期

机译：基于时间Petri网细化的实时系统设计，分析与验证
2. A knowledge Petri net model for flexible manufacturing systems and its application for design and verification of FMS controllers [J] . X. F. Zha, L. L. Li, W. J. Zhang International Journal of Computer Integrated Manufacturing . 2002,第3期

机译：柔性制造系统的知识Petri网模型及其在FMS控制器设计和验证中的应用
3. A case study in design and verification of manufacturing system control software with hierarchical Petri nets [J] . M. Heiner, P. Deussen, J. Spranger The International Journal of Advanced Manufacturing Technology . 1999,第2期

机译：分层Petri网在制造系统控制软件设计与验证中的案例研究。
4. Automated verification of asynchronous circuits using circuit Petri nets [C] . Ivan Poliakov, Andrey Mokhov, Ashur Rafiev, International Symposium on Asynchronous Circuits and Systems . 2008

机译：使用电路Petri网自动验证异步电路
5. Efficient modeling and verification of analog/mixed-signal circuits using labeled hybrid Petri nets. [D] . Little, Scott R. 2008

机译：使用标记的混合Petri网对模拟/混合信号电路进行高效建模和验证。
6. Petri-net-based 2D design of DNA walker circuits [O] . David Gilbert, Monika Heiner, Christian Rohr -1

机译：基于Petri网的DNA Walker电路二维设计
7. Performance Analysis of Asynchronous Circuits and Systems using Stochastic Timed Petri Nets [O] . Aiguo Xie, Peter A. Beerel 1999

机译：基于随机时间petri网的异步电路和系统性能分析

The Use of Petri Nets for the Design and Verification of Asynchronous Circuits and Systems

著录项

引文网络

相似文献

相关主题

期刊订阅