胡强(1980-),男,山东邹城人,博士,讲师,CCF专业会员,主要研究领域为Petri网理论,服务计算,软件形式化分析方法;任志考(1969-),男,副教授,主要研究领域为软件形式化建模,流程优化;赵振(1982-),男,博士,讲师,主要研究领域为智能生产系统,语义网;杜军威(1974-),男,博士,教授,CCF专业会员,主要研究领域为软件测试,形式化验证;杜玉越(1960-),男,博士,教授,博士生导师,CCF高级会员,主要研究领域为Petri网理论,形式化方法,人工智能.
杜军威,E-mail:djwqd@163.com
国家自然科学基金(61170078,61273180,61472228);山东省优秀中青年科学家科研奖励基金(BS2015DX010,BS2015ZZ006);山东省重点研发项目(2016GGX101031)
National Natural Science Foundation of China (61170078, 61273180, 61472228); the Promotive Research Fund for Young and Middle-Aged Scientisits of Shandong Province (BS2015DX010, BS2015ZZ006); the Key Research Program of Shandong Province (2016GGX101031)
胡强,任志考,赵振,杜军威,杜玉越.基于逻辑Petri网的服务流程结构演化研究.软件学报,2018,29(9):2697-2715
复制