（计算机学院宣 文/图 郭涵）2017年11月30日下午，应计算机科学与技术学院张海军副教授邀请，在第一届数据驱动工业信息学研讨会(The 1^st Workshop on Data-driven Industrial Informatics)上，新里斯本大学电气工程系Luis Gomes教授在A509为我院师生做了题为“Petri Nets for Model-based Development of Distributed Embedded Controllers”的学术报告。

讲座中，Luis Gomes教授首先说到，采用基于模型的开发态度有利于分布式嵌入式控制器的设计，从而为设计人员的需求提供充分的支持，集成已有可重用组件以及设计自动化工具。作为参考建模形式化的petri网的选择提供了系统的全面规范和文档的支持，补充了形式化验证能力的图形表达。随后，Luis Gomes教授重点阐述了一种基于Petri网的分布式嵌入式控制器和网络物理系统设计的开发流程。输入输出转换Petri网（IOPT网）允许显式表示输入输出信号和对事件的依赖。同时，分布式执行将时域和通信信道的概念添加进了IOPT网络。

讲座结束后，Luis Gomes教授与在场师生进行了热烈的讨论，并对师生们提出的问题进行了详尽的解答，对学生们学习生活上的困惑，提出了宝贵意见。

主讲人简历:

Luis Gomes received the Electrotechnical Eng. degree from the UniversidadeTecnica de Lisboa, Lisbon, Portugal, in 1981, and the Ph.D. degree in digital systems from Nova University of Lisboa, Lisbon, Portugal, in 1997. He is currently a professor in the Electrical Engineering Department, Faculty of Sciences and Technology, Nova University of Lisboa and a Researcher at UNINOVA Institute,Caparica, Portugal. From 1984 to 1987, he was with EID, a Portuguese medium enterprise in the area of electronic system design. He is the recipient of the 2016 IEEE IES Anthony J. Hornfeck Service Award. His main interest focuses on the usage of Petri nets and other concurrency models applied to reconfigurable and embedded systems codesign, as well as to cyber-physical systems.

讲座现场一

讲座现场二