实时Petri网及其在任务可调度性分析中的应用

作     者：孔祥营 彭思鹏 

作者机构：中船总第716研究所连云港222006 

出 版 物：《计算机应用与软件》 (Computer Applications and Software)

年 卷 期：2001年第18卷第8期

页      码：20-22,65页

摘      要：本文描述了一种实时任务可调度性分析工具——实时Petri网,给出了由数据流图向实时Petri网转化的方法,介绍了应用实时Petri网进行可调度性分析的步骤,最后讨论了不可调度的情形和处理方法。

主 题 词：实时软件设计 任务可调度性分析 实时Petri网 图论 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

D　O　I：10.3969/j.issn.1000-386X.2001.08.006

馆 藏 号：203366219...