西电新闻网讯（通讯员 刘鼎）应西电皇冠正规娱乐平台“复杂系统”国际联合研究中心邀请，来自法国国立工艺学院Kamel Barkaoui教授、美国蒙莫斯大学JiaCun Wang教授、加拿大蒙特利尔综合理工大学的Hanifa Boucheneb教授、澳大利亚昆士兰科技大学的Suvash Chandra Saha研究员、西班牙萨拉戈萨大学Cristian Mahulea副教授于10月16日-24日到访学校，并参加了2015年陕西省“复杂系统”国际联合研究中心学术研讨会。
在科学研究院、国际合作与交流处以及皇冠正规娱乐平台的共同支持下，2015年陕西省“复杂系统”国际联合研究中心学术研讨会于10月20日在北校区逸夫图书馆A108会议室举行。来访学者以及西电华山学者（意大利卡利亚里大学）Alessandro Giua教授、皇冠正规娱乐平台陈玉峰副教授、王安荣副教授面向学校师生共做了八场学术报告。
Kamel Barkaoui教授报告题为“Specification and Verification of Complex Business Processes”。就业务流程建模与标注问题，Kamel Barkaoui教授展开讨论，分析原有的业务流程建模与标注方式，总结其缺点与不足，介绍了运用递归ECAT网模型形成业务流程建模与标注的标准语言及其优势等。
JiaCun Wang教授作了题为“Workflow Resource Requirement Analysis Based on Petri Net Models”的报告。在报告中，他针对由于资源使用损耗而引起的工作流进程中的争夺和执行的减缓问题介绍了一种以Petri网为基础的资源需求分析方法。同时，Jiacun Wang教授也对资源导向工作流网等概念做了介绍。
Hanifa Boucheneb教授作了题为“Partial Order Techniques for Time Petri Nets”的报告。报告中，Hanifa Boucheneb教授针对时间Petri网模型的局部顺序减少技术做了详细介绍，该技术致力于通过减少变迁数量来处理状态爆炸问题。
西电陈玉峰副教授作了题为“Maximally Permissive Petri Net Supervisor with Data Inhibitor Arcs”的报告。报告中，他就Petri网模型中的一种新型紧凑数据抑制弧方法做了详细介绍，并就其在Petri网模型状态最优控制中的应用提出了一种全新的结构。
同天下午，Suvash Chandra Saha博士作了题为“Numerical Modeling of Deformation Behavior of Red Blood Cells in Microvessels Using the Coupled SPH‑DEM Method”的报告。报告中，Suvash Chandra Saha教授针对红细胞变形行为这一复杂系统的数据模型使用SPH‑DEM方法进行处理，阐述了SPH‑DEM方法的优势及在开发新医疗方法方面的应用前景。
Cristian Mahulea副教授作了题为“Formal Models for Planning and Control Mobile Robots”的报告。该报告主要讨论了组群移动机器人的各种不同的协同模型，介绍了它们的差异与优缺点，基于有限状态机器和Petri网，简明但系统地介绍了当前机器人组群的自动协同策略上的发展。
西电华山学者Alessandro Giua教授作了题为“Distributed Task Assignment Based on Gossip with Guaranteed Performance on Heterogeneous Networks”的报告。他围绕异构网络中的任务分配展开讨论。将带有不同代价的任务分配给执行时间各不相同的节点，这些节点可以互相连接成一个由无向图表示的网络结构，且它的拓扑图是事先未知的。为了将网络系统中任务执行时间最小化，利用gossip策略，提出了基于随机交互方案有效的算法。Giua教授介绍了该算法的收敛性质并展示了部分仿真结果。
报告会最后，王安荣副教授作了题为“Upper Bound of Siphons in a Class of Petri Nets”的报告。他在报告中，针对旨在寻找特殊Petri网的一个子类――LS3PR网的资源有向图中严格极小信标数目的上限问题，结合图论的数学分析展开讨论，并给出了部分实例的仿真结果。
来访外国学者简介：
Kamel Barkaoui教授1988年于巴黎第六大学获得计算机科学博士学位，目前是法国国立工艺学院计算机科学系教授。他的研究兴趣包括对并行离散系统的验证、控制、性能评估的形式化方法。他已经发表了超过100篇各类学术论文，指导25篇博士论文。他曾经以及正在担任本领域一系列知名国际会议的主席以及国际期刊的副编辑。
JiaCun Wang教授1991年于在南京大学科学与技术学院获计算机工程博士学位，现就职于美国蒙莫斯大学，担任计算机系主任。Jiacun Wang教授是 IEEE的高级会员，他的研究领域包括软件工程、离散事件系统、实时分布系统等。
Hanifa Boucheneb 教授于1999年在胡阿里布迈丁科学与技术学院获得计算机科学博士学位，现就职于加拿大蒙特利尔综合理工大学，任计算机工程专业教授，她的研究领域包括实时系统的正式查证技术、时间抽象和局部顺序技术。Hanifa教授在该领域已发表了超过100篇论文。
Suvash Chandra Saha研究员于2009年在澳大利亚詹姆斯库克大学工程与物理科学学院获得计算机流体动力学博士学位，从2011年开始在澳大利亚昆士兰科技大学做流体科学博士后相关工作，其研究领域包括计算机机械工程、太阳热能技术和自然媒介高温传递等。
Cristian Mahulea副教授现就职于西班牙萨拉戈萨大学计算机科学和系统工程专业，他分别于2001年和2002年在罗马尼亚依阿斯工业大学获控制工程本科和硕士学历，并在2007年获得西班牙萨拉戈萨大学系统工程博士学位。他的研究兴趣包括形式化方法、组群移动机器人的建模与控制、Petri网与自动机模型等。
