讲座题目：Petri网的层次抽象理论及其应用

讲 座 人：方欢 数学与大数据学院副教授

讲座时间：2018年10月10日（星期三）上午8：00

讲座地点：明理北208

方欢简介：

方欢，女，1982年生，博士，副教授，硕士生导师。研究方向为：Petri网理论与应用、业务流程管理系统。近5年，主持安徽省教育厅自然科学研究重点项目、安徽省自然科学基金青年项目、安徽省高校优秀青年人才支持项目、淮南市科技计划项目4项，参与国家自然科学基金项目2项，参与安徽省大数据产业集聚发展基地项目1项。公开发表论文30余篇，其中被SCI/EI检索6篇，授权发明专利1项，获得发明专利实质审查7项，授权软件著作权5项。

Petri网是离散事件系统的一种应用广泛的建模工具，讲座将重点介绍在复杂系统建模过程中如何利用Petri网和行为关系理论对系统进行建模分析，其中牵涉到分层抽象技术和方法、CPN Tools工具的使用方法、系统行为的保性分析等内容。