[1]王涛.任务关键系统的软件行为建模与检测技术研究[D].秦皇岛:燕山大学,2014.
[2]TSAI J J P,JENNHWA Y S,CHANG Y H.Timing constraint Petri nets and their application to schedulability analysis of real-time system specifications[J].IEEE Transactions on Software Engineering,1995,21(1):32-49.
[3]李慧芳,范玉顺.时间约束工作流模型的可调度性分析算法[J].计算机集成制造系统,2002,8(7):527-532.
(下转第128页)
(上接第119页)
[4]宋巍,窦万春.基于资源和时间限制的多工作流网及可调度性验证[J].计算机应用与软件,2007,24(7):5-8.
[5]宋巍,窦万春,刘茜萍.时间约束Petri网及其可调度性分析与验证[J].软件学报,2007,18(1):11-21.
[6]庞辉,方宗德,赵勇.时间约束工作流模型的简化分析与可调度性验证[J].计算机集成制造系统,2008,14(11):2217-2223.
[7]顾春琴,衣杨,常会友,等.时间约束工作流模型的可调度性验证研究[J].系统仿真学报,2009,21(7):2112-2117.
[8]冯复剑.时间约束工作流的可调度性分析[J].计算机工程与应用,2016,52(12):26-30.
[9]徐超.基于PaRSEC的并行计算工作流调度算法研究[D].厦门:厦门大学,2016.
[10]徐飞,张曦煌.基于集群拓扑结构的工作流调度研究[J].计算机应用与软件,2016,33(1):291-294.
[11]程相,孙继银,李琳琳,等.军事网格工作流调度算法研究[J].计算机工程,2012,38(10):45-47.
[12]胡志刚,胡周君.基于多QoS目标的工作流任务调度算法[J].计算机工程,2008,34(10):126-128.
[13]郑继川,胡正国.基于Petri网的工作流建模与分析[J].计算机工程,2003,29(5):26-27.
[14]付丽娜,郝克刚.工作流流程动态仿真技术的研究[J].计算机工程与应用,2009,45(13):29-33.
[15]杨启亮,李决龙,邢建春,等.需求自感知的军港岸基保障物联网系统[J].国防科技,2014,35(2):56-62. |