| 一种多任务系统的描述工具 |
| |
| 引用本文： | 蔺志海,陈俊亮.一种多任务系统的描述工具[J].北京邮电大学学报,1990(2). |
| |
| 作者姓名： | 蔺志海 陈俊亮 |
| |
| 作者单位： | 北京邮电学院计算机工程系，北京邮电学院计算机工程系 |
| |
| 摘 要： | ETP(Extelqded Timed Petri Net)是 Petri 同的一种扩充形式.ETP 中的位置有两种类型:(1)支配型位置;(2)非支配型位置.它的转移被赋予定时功能.在描述多任务系统时,支配型位置用来表示控制流,非支配型位置用来表示任务间通信、任务间相互作用.本文以 IRMX86为例介绍了 ETP 表示多任务系统的方法.并提出了一种实时系统死锁的分析方法.
|
| 关 键 词： | Petri 网 多任务系统 实时系统 死锁 |
A Tool for Describing Multi-Task Systems |
| |
| Lin Zhihai Chen Junliang.A Tool for Describing Multi-Task Systems[J].Journal of Beijing University of Posts and Telecommunications,1990(2). |
| |
| Authors: | Lin Zhihai Chen Junliang |
| |
| Affiliation: | Department of Computer Engineering |
| |
| Abstract: | ETP(Extended Timed Petri Net)is an extention of petri net.The places of ETP are of two kinds:(1)dominating places,(2)undominating places.It's transitions have the time limits.When describing multi-task systems,dominating places are used to express the control flow and the undominating places to express the interaction of tasks and inter-task communication.IRMX86 is studied and described by ETP to illustrate the method of ETP's usage.An practical Algorithem is provided in the paper to analyze the deadlock of real-time systems. |
| |
| Keywords: | petri net multi-task systems real-time system deadlock |
| 本文献已被 CNKI 等数据库收录！ |
