首页> 外文OA文献 >DIFFERENTIAL PREDICATE TRANSITION PETRI NETS AND OBJECTS, AN AID FOR PROVING PROPERTIES IN HYBRID SYSTEMS

【2h】

DIFFERENTIAL PREDICATE TRANSITION PETRI NETS AND OBJECTS, AN AID FOR PROVING PROPERTIES IN HYBRID SYSTEMS

机译：差分预测转换petri网和对象，是在混合系统中提供属性的辅助工具

页面导航

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

著录项

作者

展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Modelling of a hybrid system through differential predicate transition Petri nets model and proof tree [J] . L. Boucerredj, N.E. Debbache Aircraft Engineering and Aerospace Technology . 2007,第3期

机译：基于微分谓词转移Petri网模型和证明树的混合系统建模
2. Proving properties of real-time systems through logical specifications and Petri net models [J] . Felder M., Mandrioli D. IEEE Transactions on Software Engineering . 1994,第2期

机译：通过逻辑规范和Petri网模型证明实时系统的属性
3. Modeling and Stability Analysis of Hybrid Dynamical Systems Based on Extended Differential Petri Nets [J] . Guopei Chen, Ying Yang, Junmin Li International Journal of Control, Automation, and Systems . 2012,第2期

机译：基于扩展差分Petri网的混合动力系统建模与稳定性分析
4. DIFFERENTIAL PREDICATE TRANSITION PETRI NETS AND OBJECTS, AN AID FOR PROVING PROPERTIES IN HYBRID SYSTEMS [C] . E. Villani, J. C. Pascal, P. E. Miyagi, IFAC Conference on Analysis and Design of Hybrid Systems . 2003

机译：差分谓词过渡培养网和物体，辅助在混合系统中证明属性
5. MODELING AND ANALYSIS OF CONCURRENT SYSTEMS USING CONTOUR/TRANSITION-NETS (PETRI NETS, SPECIFICATION, VERIFICATION) [D] . ROSE, MARSHALL TOUFIC. 1984

机译：使用轮廓/过渡网（PETRI网，规范，验证）对并发系统进行建模和分析
6. Using Petri Net Tools to Study Properties and Dynamics of Biological Systems [O] . Mor Peleg, Daniel Rubin, Russ B. Altman 2005

机译：使用Petri网工具研究生物系统的特性和动力学
7. Using Coloured Petri Nets to aid the Design of Object-based Systems [O] . A. Tokmakoff, J. Billington 1996

机译：使用有色petri网辅助基于对象的系统设计

DIFFERENTIAL PREDICATE TRANSITION PETRI NETS AND OBJECTS, AN AID FOR PROVING PROPERTIES IN HYBRID SYSTEMS

著录项

引文网络

相似文献

相关主题

期刊订阅