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

REAL-TIME Petri NETS AND THEIR APPLICATION TO SCHEDULABILITY ANALYSIS OF TASKS

作　　者：孔祥营 彭思鹏 

机构地区：[1]中船总第716研究所,连云港222006

出　　处：《计算机应用与软件》2001年第8期20-22,65,共4页Computer Applications and Software

摘　　要：本文描述了一种实时任务可调度性分析工具——实时Petri网,给出了由数据流图向实时Petri网转化的方法,介绍了应用实时Petri网进行可调度性分析的步骤,最后讨论了不可调度的情形和处理方法。This paper presents a tool for real - time tasks' schedulability analysis######Real - Time Petri Nets( RTPNs), gives a method for translating the data streams graph into RTPNs, describes how to analyze the schedulability of real - time tasks by RTPNs, and discusses the case which the system is not schedulability one and the processing methods.

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

分 类 号：TP311.1[自动化与计算机技术—计算机软件与理论]