论文部分内容阅读
在做为分布式的即时嵌入的系统安排分析瞄准了基于的时间 Petri 捕捞的资源(RBTPN ) 的缺乏,安排序列的建筑群的集合条件被介绍容易计算安排长度并且简化安排分析。基于这,一个新层次 RBTPN 模型被建议。模型介绍转变边阶集合的定义,并且作为抽象转变代表它。抽象转变拥有集合的所有资源,并且有每个资源的最高的优先级;抽象转变的实行时间是所有可能的安排序列的最长的时间。根据特征和 RBTPN 的集合状况,转变边阶集合的精炼条件被给,并且条件保证安排分析的修正。作为结果,我们理解安排模型并且表现是容易的安