Computer Science ›› 2016, Vol. 43 ›› Issue (11): 126-129.doi: 10.11896/j.issn.1002-137X.2016.11.024
Previous Articles Next Articles
PAN Li and YANG Bo
[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] Wang J,Xu G,Deng Y.Reachability analysis of real-time systems using time Petri nets[J].IEEE Transactions on Systems,Man,and Cybernetics,Part B:Cybernetics,2000,30(5):725-736 [4] Pan Li,Ding Zhi-jun,Zhou Meng-chu.A Configurable StateClass Method for Temporal Analysis of Time Petri Nets[J].IEEE Transactions on Systems,Man,and Cybernetics:Systems,2014,44(4):482-493 [5] Boucheneb H,Gardey G,Roux O H.TCTL model checking of time Petri nets[J].Journal of Logic and Computation,2009,19(6):1509-1540 [6] Berard B,Cassez F,Haddad S,et al.The expressive power oftime Petri nets[J].Theoretical Computer Science,2013,474(N/A):1-20 [7] Boel R K,Jiroveanu G.The on-line diagnosis of time Petri nets[M].Control of Discrete-Event Systems.Springer London,2013:343-364 [8] Wu N Q,Chu F,Chu C,et al.Net Modeling and Cycle-TimeAnalysis of Dual-Arm Cluster Tools With Wafer Revisiting[J].IEEE Transactions on Systems,Man,and Cybernetics:Systems,2013,43(1):196-207 [9] Du Y,Tan W,Zhou M C.Timed compatibility analysis of web service composition:A modular approach based on Petri nets[J].IEEE Transactions on Automation Science and Enginee-ring,2014,11(2):594-606 [10] Gardey G,Lime D,Magnin M.Romeo:A tool for analyzing time Petri nets[C]∥Proceedings of 17th International Conference on Computer Aided Verification.LNCS 3576,Springer Berlin Heidelberg,2005:418-423 [11] Berthomieu B,Ribet P,Vernadat F.The tool TINA-Construction of abstract state spaces for petri nets and time petri nets[J].International Journal of Production Research,2007,42(14):2741-2756 [12] Lin Chuang,Qu Yang,Li Ya-juan.Modeling,Consistency andInference of Extended Interval Temporal Logic[J].Chinese Journal of Computers,2002,25(12):1338-1347(in Chinese) 林闯,曲扬,李雅娟.扩展时段时序逻辑的模型、一致性和推理[J].计算机学报,2002,25(12):1338-1347 [13] Lei D M.Interval job shop scheduling problems[J].The International Journal of Advanced Manufacturing Technology,2012,60(1-4):291-301 [14] Sotskov Y N,Lai T C,Werner F.Measures of problem uncertainty for scheduling with interval processing times[J].OR Spectrum,2013,35(3):659-689 [15] Lei D M,Guo X P.An effective neighborhood search for scheduling in dual-resource constrained interval job shop with environmental objective[J].International Journal of Production Economics,2015,159(1):296-303 [16] Pan Li,Ding Zhi-jun,Chen Gang.A Time Petri Net Model Based on Uniform Distribution[J].Chinese Journal of Computers,2010,33(5):900-907(in Chinese) 潘理,丁志军,陈刚.基于一致分布的时间Petri网模型[J].计算机学报,2010,33(5):900-907 [17] Donald R B,Sherrill E T.Mean and variance of truncated normal distributions[J].The American Statistician,1999,53(4):357-361 [18] Jawitz J W.Moments of truncated continuous univariate distributions[J].Advances in Water Resources,2004,27(3):269-281 |
No related articles found! |
|