首页> 外文OA文献 >An Incremental Verification Technique Using Decomposition of Petri Nets

【2h】

An Incremental Verification Technique Using Decomposition of Petri Nets

机译：一种基于petri网分解的增量式验证技术

页面导航

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

著录项

作者
Serge Haddad; Jean-michel Ilie; Kais Klai;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Deadlock analysis and control using Petri net decomposition techniques [J] . Zhong Chunfu, He Wenlong, Li Zhiwu, Information Sciences: An International Journal . 2019,第期

机译：使用Petri Net分解技术的僵局分析和控制
2. Decomposition of distributed edge systems based on the Petri nets and linear algebra technique [J] . Wisniewski R., Karatkevich A., Stefanowicz L., Journal of systems architecture . 2019,第期

机译：基于Petri网和线性代数技术的分布式边缘系统分解
3. A Petri Net Approach to Fault Verification in Phased Mission Systems using the Standard Deviation Technique [J] . Michael D Lloyd, John D Andrews, Rasa Remenyte-Prescott, Quality and Reliability Engineering International . 2014,第1期

机译：使用标准偏差技术的相控任务系统故障验证的Petri网方法
4. An incremental verification technique using decomposition of Petri nets [C] . Serge Haddad, Jean-Michel Ilie, Kais Klai IEEE Interantional Conference on Systems, Man and Cybernetics . 2002

机译：培养网分解的增量验证技术
5. MODELING AND ANALYSIS OF CONCURRENT SYSTEMS USING CONTOUR/TRANSITION-NETS (PETRI NETS, SPECIFICATION, VERIFICATION) [D] . ROSE, MARSHALL TOUFIC. 1984

机译：使用轮廓/过渡网（PETRI网，规范，验证）对并发系统进行建模和分析
6. Modeling the Metabolism of Arabidopsis thaliana: Application of Network Decomposition and Network Reduction in the Context of Petri Nets [O] . Ina Koch, Joachim Nöthen, Enrico Schleiff 2017

机译：模拟拟南芥的代谢：网络分解和网络还原在Petri网中的应用
7. An Incremental Verification Technique Using Reduction of Petri Nets : A Petri net Approach [O] . Ilié Jean-Michel, Klai Kaïs, Haddad Serge 2002

机译：利用Petri网约简的增量验证技术：一种Petri网方法。

An Incremental Verification Technique Using Decomposition of Petri Nets

著录项

引文网络

相似文献

相关主题

期刊订阅