A REVIEW OF PETRI NET BASED MODELING AND VERIFICATION FOR EMBEDDED REAL-TIME SYSTEMS

机译：嵌入式实时系统基于Petri网的建模与验证研究进展

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

Petri Nets are widely applied to the modeling of embedded real-time systems. Classical Petri Nets are continuously improved to adapt embedded real-time systems. This paper addresses various extended Petri Nets and their characteristic in the modeling of embedded real-time systems. At last, some methods of the formal modeling and verification using Petri Nets are introduced.

机译：Petri Nets广泛应用于嵌入式实时系统的建模。不断改进经典Petri网以适应嵌入式实时系统。本文介绍了各种扩展的Petri网及其在嵌入式实时系统建模中的特性。最后介绍了使用Petri网进行形式化建模和验证的一些方法。

著录项

来源
《American Society of Mechanical Engineers(ASME) International Design Engineering Technical Conference and Computers and Information in Engineering Conference(DETC2005) vol.4: ASME/IEEE International Conference on Mechatronic and Embedded Systems and Appli》|2005年|P.257-264|共8页
会议地点 Long BeachCA(US)
作者
Haitao zhang; Fei-Yue Wang;
展开▼
作者单位

The Key Laboratory of Complex Systems and Intelligence Science, Institute of Automation, Chinese Academy of Sciences, Beijing 100080, China;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类机械设计、计算与制图;
关键词
modeling; petri nets; real time systems; scheduling;

机译：建模; Petri网;实时系统;调度;

相似文献

外文文献
中文文献
专利

1. Modeling and formal verification of embedded systems based on a Petri net representation [J] . Luis Alejandro Cortes, Petru Eles, Zebo Peng Journal of systems architecture . 2003,第12a15期

机译：基于Petri网表示的嵌入式系统建模和形式验证
2. 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网细化的实时系统设计，分析与验证
3. A Petri Net based Method for Analyzing Schedulability of Distributed Real-time Embedded Systems [J] . Liqiong Chen, Zhiqing Shao, Guisheng Fan, Journal of Computers . 2008,第12期

机译：基于Petri网络分析分布式实时嵌入式系统的调度的方法
4. A REVIEW OF PETRI NET BASED MODELING AND VERIFICATION FOR EMBEDDED REAL-TIME SYSTEMS [C] . Haitao zhang, Fei-Yue Wang, American Society of Mechanical Engineers(ASME) ASME International Design Engineering Technical Conference . 2005

机译：嵌入式实时系统的Petri网络建模与验证述评
5. MODELING AND ANALYSIS OF CONCURRENT SYSTEMS USING CONTOUR/TRANSITION-NETS (PETRI NETS, SPECIFICATION, VERIFICATION) [D] . ROSE, MARSHALL TOUFIC. 1984

机译：使用轮廓/过渡网（PETRI网，规范，验证）对并发系统进行建模和分析
6. Petri Net and Probabilistic Model Checking Based Approach for the Modelling, Simulation and Verification of Internet Worm Propagation [O] . Misbah Razzaq, Jamil Ahmad 2010

机译：基于Petri网和概率模型检查的Internet蠕虫传播建模，仿真与验证方法。
7. An integrated approach to modeling and analysis of embedded real-time systems based on timed petri nets [O] . Zonghua Gu, Kang G. Shin Real-time 2003

机译：基于时间Petri网的嵌入式实时系统建模与分析的集成方法

A REVIEW OF PETRI NET BASED MODELING AND VERIFICATION FOR EMBEDDED REAL-TIME SYSTEMS

摘要

著录项

相似文献

相关主题

期刊订阅