摘要
ETP(Extelqded Timed Petri Net)是 Petri 同的一种扩充形式.ETP 中的位置有两种类型:(1)支配型位置;(2)非支配型位置.它的转移被赋予定时功能.在描述多任务系统时,支配型位置用来表示控制流,非支配型位置用来表示任务间通信、任务间相互作用.本文以 IRMX86为例介绍了 ETP 表示多任务系统的方法.并提出了一种实时系统死锁的分析方法.
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.
关键词
多任务系统
多机网络
操作系统
petri net
multi-task systems
real-time system
deadlock
