时间Petri网的可调度分析及在FMS中的应用.pdfVIP

第 42卷 第 1期 计 算 机 科 学 Vo1．42No．1 2015年 1月 Computer Science Jan2015 时间Petri网的可调度分析及在 FMS中的应用 翟正利 丁志军 (青岛理工大学计算机工程学院 青岛266520) (同济大学电子与信息工程学院 上海201804) 摘 要 在实时系统中，检查任务执行的计划是否满足要求的时间约束称为可调度分析。通过把时间特性与其他行 为特性分离，提出了一种 以时间Petri网建模的实时系统调度分析方法。如果特定任务的执行是可调度的，则可以计 算任务执行的时间跨度，否则确定出不可调度的变迁以便于调整时间约束和纠正设计错误。提 出了一种通过把复杂 的任务序列分解成一些子序列来进行可调度性分析的综合时序分析技术，它不仅提高了效率，也有助于关于调度的可 达性问题的讨论。讨论了柔性制造系统FMS中的车间装配子系统的可调度性。 关键词 可调度分析，时间Petri网，实时系统，柔性制造系统 中图法分类号 TP301 文献标识码 A DOI 10．11896／j．issn．1002—137X．2015．1_003 SchedulabilityAnalysisofTimePetriNetanditsApplicationinFMS ZHAIZheng-li’。 DINGZhi-jun2 (CollegeofInformationEngineering，QingdaoTechnologicalUniversity，Qingdao266520，China) (CollegeofElectronicsandInformationEngineering，TongjiUniversity，Shanghai201804，China) Abstract Inareal—timesystem，theprocessofverifyingwhetherascheduleoftaskexecutionmeetstheimposedtiming constraintsisreferredtoasschedulinganalysis．Thispaperpresentedanapproachtoanalyzetheschedulingofrealtime systemsmodeledintimePetrinetsbyseparatingtimingpropertiesfrom otherbehavioralproperties．Ifaspecifictask executioniSschedulable，wecouldcalculatethetimespanofthetaskexecution，otherwisepinpointedoutnon-schedula— bletransitionstohelpadjusttimingconstraintsandcorrectdesignerror．Atechniqueforcompositionaltiminganalysis wasalsoproposedtodealwithcomplextasksequencesbydecomposingitintosomesimplesub-task sequences，which notonlyimprovesefficiencybutalsofacilitatesthediscussionofreachabilityissuewithregardto scheduling．Finally， sche-dulinganalysisofanassemblysystem inflexiblemanufacturingsystems(FMS)wasdiscussed． Keywords Schedulabilityanalysis，TimePetrinets，Real—timesystems，Flexiblemanufacturingsystem