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网广泛应用于嵌入式实时系统的建模。经典的Petri网持续改进以适应嵌入式实时系统。本文在嵌入式实时系统的建模中解决了各种扩展的Petri网及其特征。最后，介绍了使用Petri网的正式建模和验证的一些方法。

著录项

来源
《ASME International Design Engineering Technical Conference》|2005年||共8页
会议地点
作者
Haitao zhang; Fei-Yue Wang; American Society of Mechanical Engineers(ASME);
展开▼
作者单位

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

机译：建模;培养网;实时系统;安排;

相似文献

外文文献
中文文献
专利

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) 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

机译：嵌入式实时系统基于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

摘要

著录项

相似文献

相关主题

期刊订阅