报告题目：Petri网原理及其实际应用

报告人：赵芳

报告时间：2022年10月17日（周一）14：00-15：00

报告地点：数理楼412

主办单位：beat365

报告对象：beat365及全校感兴趣的教师、研究生和本科生

内容摘要：由于用户对各种购物软件（例如淘宝网、京东商城和抖音购物平台等）的需求越来越高，建模者需要面对电子商务业务流程中出现的各种安全性问题。因此，需要我们对这些商务过程进行成功的业务流管理，使得它们满足能够日益增长的复杂多变的环境。如何有效地对各种业务流进行建模和分析以及确保业务流程模型的正确性已经成为现有研究的一个关键点。我们以Petri网的基本理论为支撑，通过对各种电子商务的业务流程进行建模，提出有效的理论和方法获取不同业务流相统一的程度，并给出了检测和修复各种业务流中数据流错误的方法，这必将有助于推动我国在软件领域的理论研究和技术改进。本报告以“Petri网原理及其实际应用”为基础，对Petri网的来源，发展和创新应用进行介绍，欢迎大家参加交流。

报告人简介：

赵芳，博士，讲师，2022年毕业于同济大学。主要从事Petri网理论与应用、软件形式化验证和模型检测等方面的研究。参与多项国家、省、市级自然科学基金项目，以第一作者或通讯作者在IEEE Transactions on Computational Social Systems、Computer Modeling in Engineering & Sciences、Mathematics、计算机学报、计算机科学和计算机科学与探索等国内外学术期刊发表论文6篇，其中SCI三篇，EI一篇，中文核心期刊两篇。