| 基于DTPN的时间Petri网的组件级化简规则 |
| |
| 引用本文： | 张姝,江金龙.基于DTPN的时间Petri网的组件级化简规则[J].计算机仿真,2008,25(1):105-108. |
| |
| 作者姓名： | 张姝 江金龙 |
| |
| 作者单位： | 1. 北京联合大学信息学院,北京,100101
2. 中国兵器装备研究院,北京,100089 |
| |
| 摘 要： | 时间Petrl网(TPNs)是实时系统时间特性常用的描述和验证的Petri网模型.组件级化简方法是TPN模型常用的分析方法,在保持外部可观察时间特性的前提下,将组件TPN模型化简成一个很简单的TPN模型.然而它却失去了组件内部的性质,如冲突和并发等性质.文中引人延迟时间Petri网(DTPN),通过组件TPN模型向DTPN模型转化,使化简后模型既保持外部可观察时间特性,又保持组件内部的冲突和并发等性质.为了分析化简后的DTPN模型,文中还提出了一种新的DT-PN调度分析方法.最后通过对一个C2系统的组件TPN模型的分析实例,验证该方法的有效性.
|
| 关 键 词： | 组件级化简规则 延迟时间佩粹网模型 调度分析 |
| 文章编号： | 1006-9348（2008）01-0105-04 |
| 收稿时间： | 2006-12-25 |
| 修稿时间： | 2006-12-29 |
Component-Level Reduction Rules for Time Petri Nets Based on DTPN |
| |
| ZHANG Shu,JIANG Jin-long.Component-Level Reduction Rules for Time Petri Nets Based on DTPN[J].Computer Simulation,2008,25(1):105-108. |
| |
| Authors: | ZHANG Shu JIANG Jin-long |
| |
| Affiliation: | ZHANG Shu School of Information,Beijing Union University,Beijing 100101,China JIANG Jin-long China Southern Industries Research Academy,Beijing 100089,China |
| |
| Abstract: | Time Petri Nets(TPNs)are a popular Petri net model for specification and verification of real-time systems.A widely applied method for analyzing Petri nets is component-level reduction analysis.The existing tech- nique for component-level reduction analysis transforms a TPN component to a constant size of simple one while maintains the net's external observable timing properties,but it neglects the internal properties of component such as conflict and concurrency.Based on Delay Time Petri Net(DTPN),the pape... |
| |
| Keywords: | Component - level reduction rules DTPN model Schedule analysis |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
