Time modeling and constraint verification of large-scale device collaboration system

[1] 李慧芳,范玉顺.工作流系统时间管理[J].软件学报,2002,13(8):1552-1558 Li Huifang,Fan Yushun.Overview on managing time in workflow systems[J].Journal of Software,2002,13(8):1552-1558(in Chinese) [2] Hyun Son J,Ho Kim M.Improving the performance of time-constrained workflow processing[J].Journal of Systems and Software,2001,58(3):211-219 [3] Julia S,de Oliveira F F,Valette R.Real time scheduling of workflow management systems based on a p-time Petri net model with hybrid resource[J].Simulation Modelling Practice and Theory,2008,16(4):462-482 [4] Niu W,Yang Z.Workflow model based on time-extended and hierarchy-extended petri-net //Proceedings of 2008 International Symposiums on Information Processing.Piscataway,NJ:IEEE Computer Society,2008:457-461 [5] Eder J,Panagos E,Rabinovich M.Time constraints in workflow systems //Proceedings of the 11th Conference on Advanced Information Systems Engineering.Berlin:Springer,1999:286-300 [6] Nadeem F,Fahringer T.Predicting the execution time of grid workflow applications through local learning //Proceedings of the Conference on High Performance Computing Networking,Storage and Analysis.New York:Association for Computing Machinery,2009:1-12 [7] 庞辉,方宗德,赵勇.时间约束工作流模型的简化分析与可调度性验证[J].计算机集成制造系统,2008,14(11):2217-2223 Pang Hui,Fang Zongde,Zhao Yong.Simplification analysis and schedulability verification of timing constraint workflow model[J].Computer Integrated Manufacturing Systems,2008,14(11):2217-2223(in Chinese) [8] 唐达,刘丹妮.基于层次时间Petri网的工作流模型可达性分析方法[J].计算机集成制造系统,2006,12(4):487-493 Tang Da,Liu Danni.Method of reachability analysis in HTPN based workflow model[J].Computer Integrated Manufacturing Systems,2006,12(4):487-493(in Chinese) [9] 宋巍,窦万春,刘茜萍.时间约束Petri网及其可调度性分析与验证[J].软件学报,2007,18(1):11-21 Song Wei,Dou Wanchun,Liu Qianping.Timing constraint petri nets and their schedulability analysis and verification[J].Journal of Software,2007,18(1):11-21(in Chinese) [10] Han Rui,Liu Yingbo,Wen Lijie,et al.Dynamically analyzing time constraints in workflow systems with fixed-date constraint //Proceedings of 2010 12th International Asia-Pacific Web Conference.Piscataway,NJ:IEEE Computer Society,2010:99-105 [11] 杜栓柱,谭建荣,陆国栋.一个基于TWF-net的扩展时间工作流模型及其应用[J].计算机研究与发展,2003,40(4):1143-1151 Du Shuanzhu,Tan Jianrong,Lu Guodong.An extended time workflow model based on TWF-net and its application[J].Journal of Computer Research and Development,2003,40(4):1143-1151(in Chinese) [12] 潘炎,汤庸,陈子聪.一种工作流模型的时间性能评估方法[J].计算机集成制造系统,2007,13(8):1539-1544 Pan Yan,Tang Yong,Chen Zicong.Time performance evaluation approach in workflow models[J].Computer Integrated Manufacturing Systems,2007,13(8):1539-1544(in Chinese) [13] 潘炎,汤庸.模糊时态工作流网的建模和时间可能性分析[J].计算机集成制造系统,2006,12(11):1779-1784 Pan Yan,Tang Yong.Modeling of fuzzy temporal workflow nets and its time possibility analysis[J].Computer Integrated Manufacturing Systems,2006,12(11):1779-1784(in Chinese) [14] Chen Feng,Rong Xiaohui,Deng Pan.Modeling of device collaboration process based on Petri net //Proceedings of 11th ACIS International Conference on Software Engineering,Artificial Intelligence,Networking and Parallel/Distributed Computing.Piscataway,NJ:IEEE Computer Society,2010:29-33