西电必威Betway东盟体育网讯（通讯员 杨兰）应betway必威复杂系统国际联合研究中心邀请，法国艾克斯-马赛大学IsabelDemongodin、ClaudiaFrydman、Jean-Claude Hennet、LeonardoBrenner及法国国立工艺学院KamelBarkaoui五位教授，于11月22日至11月30日到访必威Betway东盟体育。11月27日，中外学者共同组织进行了关于智能制造中的理论方法研究（Formal Methods in Intelligent Manufacturing）的学术研讨会。
研讨会学术报告日程
参会人员合影
在研讨会中，IsabelDemongodin教授与LeonardoBrenner教授进行了题为“批处理petri网：高速生产和运输系统混合机制（Batches Petri Nets: Hybrid Formalisms for High SpeedProduction and Transportation Systems）”的报告。讨论了批处理Petri网（batches Petri Nets）相关理论在城市道路交通、生产制造系统等方面的实际应用。
KamelBarkaoui教授进行了题为“采用局部持续性简化状态空间（Exploiting Local Persistency for Reduced State Espace Generation）”的报告，报告首先引出需要解决petri网可达图分析中状态爆炸问题的必要性，其次详细介绍了其所提出的步位图方法的主要思想并在实例验证中可见其有效简化了可达图的状态。
中方李志武教授做了题为“关于资源分配系统中状态空间分层重构问题（On Hierarchical Construction of the State Space of Resource Allocation Systems）”的报告，主要围绕资源分配系统中状态空间分层重构问题，从有限自动机及petri网两套建模系统分别进行描述分析。
报告留影
机电院华山学者讲座教授Alessandro Giua教授及马子玥博士先后进行了题为“基于petri网的离散事件系统可达性有效分析（Practically efficient reachability analysis ofdiscrete event systems using Petri nets）”和“离散事件系统状态估计问题（On the State Estimation in Discrete Event Systems）”的报告，详细介绍了petri网相关理论基础及标识可达问题的相关研究，着重解释了相比较标识可达图其所提出的基础标识可达图的基本思想，提出了基础标识及基础可达图的概念和解决状态估计问题的算法，有效避免了暴力枚举可达图中所有标识。
研讨会最后两场报告由Jean-Claude Hennet教授和ClaudiaFrydaman教授进行。主题分别是“制造分布式网络合作博弈论方法（A Cooperative Game Theory approach to manufacturing and distribution networks）”和“离散事件规范当前研究方向（Current research topics around DEVS）”。从多个角度介绍了合作博弈论及离散事件规范（DEVS）；对供应网络形成问题的分析；及在协作库存管理中的应用。
本次学术研讨会围绕智能制造中的理论方法研究主题，集中讨论并提出了多种有效处理离散事件系统状态爆炸问题的方法，开拓了公司师生的学术视野，增强了学术研究和创新氛围，为公司从事离散事件系统理论与应用相关领域的研究人员提供了极大的启发和帮助。此外，五位教授的此次来访，为公司与法国艾克斯马赛大学和法国国立工艺学院的进一步校际合作奠定了基础。
报告人简介：
IsabelDemongodin法国埃克斯-马赛大学大学教授，信息与系统科学实验室（LSIS）下离散事件建模和规范（MoFED）课题组主任，其主要研究领域为离散事件系统，混合动力系统，Petri网，自动化制造，运输系统，性能评估，测试，建模与仿真。IsabelDemongodin教授是电气和电子工程师协会（IEEE）会员，是该领域顶级学术期刊的长期同行评阅人，同时也是许多国际会议的项目委员会成员。
ClaudiaFrydama教授分别于1987年与1990年在法国艾克斯马赛第三大学与法国蒙彼利埃第二大学获得硕士和博士学位。目前是法国埃克斯-马赛大学一级教授。其主要从事离散事件系统，离散事件规范等方面的研究。
Jean-Claude Hennet教授分别于1975年和1982年在斯坦福大学和法国图卢兹第三大学获得硕士和博士学位。在2012年至2016年期间曾担任艾克斯-马赛大学信息与交互研究联合会主任，国际会议的组织者、主席、科技委员会成员。目前担任国际系统科学杂志（IJSS）副主编，邀请科学期刊编辑和审稿人。其主要研究领域为，优化理论和算法、运筹学、博弈论、离散事件决策系统等。
LeonardoBrenner分别于2003年在巴西南里奥格兰德宗座天主教大学和法国格勒诺布尔理工学院获得硕士。2006-2007年曾在法国约瑟夫傅立叶大学任教学助理，2009年9月毕业于法国格勒诺布尔格勒诺布尔理工学院获得博士学位，2009-2010在法国兰斯大学香槟-阿登学院任教学助理，目前是法国艾克斯马赛大学副教授。其主要研究方向为，批处理petri网，自动机等。
KamelBarkaoui,自2002年起任法国国立工艺学院计算机科学系教授；Barkaoui教授主要研究领域包括关于并发和分布式系统的规范、验证、控制及性能评估的形式化方法。发表了140篇国际期刊与会议论文，主持、参与了10多个国际研究项目。他是计算机与通信系统的验证评估国际会议（VECoS）的发起人和会议指导委员会主席，同时也是多个国际知名期刊稿件评阅人和客座编辑。
