（通讯员 张灵春）应金沙js6038线路通道刘改云副教授邀请，西班牙萨拉戈萨大学的Ricardo J.Rodriguez教授于2017年1月1日-2017年1月3日来校进行学术交流访问。

1月3日上午，Ricardo教授在北校区主楼Ⅲ区第二会议室作了主题为 “Computing performance for large systems with Petri nets (without running out of memory)”的精彩报告。

Rodriguez教授的讲座主要面向从事离散事件系统理论与应用研究的相关研究生和青年教师进行。Rodriguez教授首先简要介绍了萨拉戈萨大学和其所在课题组的概况。接着介绍了用Petri网建模大规模复杂系统时，计算其可达图可能面临状态爆炸问题。针对该问题，Rodriguez教授重点介绍了一种部分地解决这个挑战的新技术，即基于线性规划技术，采用迭代的方法进行性能分析。通过实例说明，这种方法相比计算全部可达状态分析的方法效率更高。之后，Rodriguez教授演示了他本人开发的Petri网分析软件The PeabraiN Tool。最后，Rodriguez教授对在场师生提出的问题进行详细解答与探讨。

注：Ricardo J.Rodriguez教授现就职于西班牙萨拉戈萨大学，分别于2010年和2013年在西班牙萨拉戈萨大学获得计算机科学学士学位和博士学位。目前Rodriguez教授的研究方向为基于Petri网的安全关键系统的性能分析、资源优化、可执行性和可靠性分析、以及非接触智能卡安全等。Rodriguez教授于2011年和2012年分别在英国卡迪夫大学计算机科学与信息学院访问研究；2014年在瑞典梅拉达伦大大学创新、设计与工程学院访问研究。