计算机科学 ›› 2014, Vol. 41 ›› Issue (12): 202-205.doi: 10.11896/j.issn.1002-137X.2014.12.044
潘理,郑红,杨勃,周新民
PAN Li,ZHENG Hong,YANG Bo and ZHOU Xin-min
摘要: 针对时间Petri网现有强、弱语义模型在调度分析上存在的缺陷以及凝练调度一致性问题和调度时限性问题,提出混合语义模型解决方案,并给出混合语义模型的特征条件,比较混合语义模型与强、弱语义模型的时间互模拟能力,证明混合语义模型的正确性和时间行为的不可替代性。
[1] Merlin P,Farber D J.Recoverability of communication protocols:Implication of a theoretical study[J].IEEE Trans.Commun.,1976,24(9):1036-1043 [2] Berthomieu B,Diaz M.Modeling and Verification of Time Dependent Systems Using Time Petri Nets[J].IEEE Trans.Softw.Eng.,1991,17(3):259-273 [3] Vicario E.Static Analysis and Dynamic Steering of Time De-pendent Systems Using Time Petri Nets[J].IEEE Trans.Software Eng.,2001,27(8):728-748 [4] Wang J,Xu G,Deng Y.Reachability analysis of real-time sys-tems using time Petri nets[J].IEEE Transactions on Systems,Man,and Cybernetics,Part B:Cybernetics,2000,30(5):725-736 [5] Ghezzi C,Mandrioli D,Morasca A.Unified High-Level Petri Net Formalism for Time-Critical Systems[J].IEEE Trans.Softw.Eng.,1991,17(2):160-172 [6] Felder M,Mandrioli D,Morzenti A.Proving properties of real-time systems through logical specifications and Petri net models[J].IEEE Trans.Softw.Eng.,1994,20(2):127-141 [7] Bérarda B,Cassezb F,Haddadc S,et al.The expressive power of time Petri nets[J].Theor.Comput.Sci.,2013,474:1-20 [8] Xu D,He X,Deng Y.Compositional schedulability analysis of real-time systems using time Petri nets[J].IEEE Trans.Softw.Eng.,2002,28(10):984-996 [9] Wu N,Chu F,Chu C,et al.Schedulability Analysis of Short-Term Scheduling for Crude Oil Operations in Refinery with Oil Residency Time and Charging-Tank-Switch-Overlap Constraints[J].IEEE Trans.Autom.Sci.Eng.,2011,8(1):190-204 [10] Qiao Y,Wu N Q,Zhou M C.Real-time scheduling of single-arm cluster tools subject to residency time constraints and bounded activity time variation[J].IEEE Trans.Autom.Sci.Eng.,2012,9(3):564-577 [11] 潘理,丁志军,郭观七.混合语义时间Petri网模型[J].软件学报,2011,22(6):1199-1209 [12] Bornot S,Sifakis J,Tripakis S.Modeling urgency in timed systems[C]∥Proceedings of International Symposium:Compositionality,LNCS 1536,1997.Berlin:Springer,1997:103-129 [13] Barbuti R,Tesei L.Timed automata with urgent transitions[J].Acta Informatica,2004,40(5):317-347 [14] Bornot S,Sifakis J.An algebraic framework for urgency[J].Information and Computation,2000,163(1):172-202 [15] Boyer M,Roux O H.On the Compared Expressiveness of Arc,Place and Transition Time Petri Nets[J].Fundamenta Informa-ticae,2008,88:225-249 |
No related articles found! |
|