教师介绍

教师姓名

宋健

职务职称

讲师（中级）

研究方向

形式化方法、过程挖掘、模型检测、可信人工智能

招生方向

计算机技术

软件工程

人工智能

联系电话

E-mail

songjian@sspu.edu.cn

通讯地址

上海浦东金海路2360号28楼906室

个人简介

宋健，男，中共党员，2025年12月博士毕业于同济大学计算机科学与技术学院。现任上海第二工业大学计算机与信息工程学院讲师，硕士生导师。主要研究方向是形式化方法、Petri网理论与应用、模型检测、过程挖掘等。当前聚焦强化学习与图神经网络的可解释性分析，并探索其与形式化验证的交叉应用。以第一作者身份在国内外核心期刊上发表学术论文数10篇，其中SCI论文5篇，包括IEEE Trans.和ACM Trans.等TOP期刊；授权专利一项。求学期间荣获国家奖学金、校一等奖学金、安徽省优秀毕业生等多个奖项和荣誉称号。担任多个学术期刊的审稿人，网络计算专业委员会专业委员。鼓励学生继续深造，也有资源推荐学生读博，也支持学生实习、考公等。欢迎对人工智能、形式化方法、模型检测、图神经网络及其应用感兴趣的同学报考我的硕士研究生，也欢迎有意读研的同学联系我，有信必回！

主要论文、专利及著作情况

l  主要论文

[1] Song J, Liu G, Wang M. Model Checking of Workflow Nets with  Tables and Constraints[J]. ACM Transactions on Autonomous and Adaptive  Systems, 2025, 20(2): 1-38.(CCF B, 二区，SCI).

[2] Song J, Liu G, Tang Y, et al. An Innovative Formal Verification  Method Based on Timed Petri Nets With Integrated Database Tables[J]. IEEE  Transactions on Systems, Man, and Cybernetics: Systems, 2025.(CCF  B, 一区TOP,  SCI).

[3] Song J, Liu G. A fault diagnosis method for systems based on  labeled time Petri nets with tables[J]. The Computer Journal, 2025: bxaf118.(CCF  B, 三区,  SCI).

[4] Song J, Liu G. Modeling and Analysis of Business Process  Management Systems Using Timed Workflow Nets with Tables[J]. Computing and  Informatics, 2024, 43(6): 1320–1351.(三区, SCI).

[5] Song J, Xiang D, Liu G, et al. Guard-Function-Constraint-Based  Refinement Method to Generate Dynamic Behaviors of Workflow Net with  Table[J]. Computing and Informatics, 2022, 41(4): 1025–1053.(三区,  SCI).

[6] Song J, Liu G. A system fault diagnosis method based on labeled  time Petri net with data[J]. IEEE Control Systems Letters, 2024.(三区,  ESCI, EI).

[7] 基于行为轮廓的业务流程隐变迁挖掘方法. 宋健;方贤文;王丽丽;刘祥伟.计算机科学,2019(12). (CSCD).

[8] 基于流程切的过程模型挖掘方法. 宋健;方贤文;王丽丽.计算机科学,2019(07). (CSCD).

[9] 业务流程隐变迁的拟间接依赖挖掘方法. 宋健;方贤文;王丽丽;刘祥伟.计算机工程与应用,2019(22). (CSCD, EI).

[10]  等.

l   专利

[1]刘关俊，宋健.一种分布式数据库系统数据不一致检测方法及系统:202310635440.3[P].2025-12-23.（已授权）

l   著作：

无

主要科研项目

主持项目:

[1] 工作流系统的数据流错误建模与检测.

[2]等.

参与项目:

[1] 基金重点项目子课题人机物融合场景计算的建模理论与软件定义方法.

[2] 基金面上项目:基于Petri网的实时并发系统三位一体化建模与分析.

[3] 航天五O二所“高可信嵌入式软件工程技术重点实验室”开放课题:面向C语言的嵌入式多核软件系统WCET和可调度性评估与死锁检测.

[4] 同济大学学科交叉联合攻关示范项目(人工智能方向重大专项)基于强化学习和Petri网理论的多智能体软件系统设计研究.

[5]等。

荣誉及获奖

[1]  国家奖学金1次、国家励志奖学金1次、以及多次校级奖学金；

[2]  安徽省普通高等学校优秀毕业生；

[3]  荣获优秀共青团员、优秀共产党员等称号；

[4]  获2026年面向实战对抗的多专家协同网络安全进攻型Agentic  AI技术及应用、浙江省网络安全科学技术奖（二等奖）；

[5]  获2026年宁波市“数据要素X”数据安全治理赛道第一名；

[6]  等。