刘伟｜山东科技大学｜学者主页

2026

Formal modeling and discovery of cross-organizational business processes: A privacy-preserving two-stage approach

Wei Liu, Ge Xin, Xiaoliang Chen, Xu Gu, Duoqian Miao, Peng Lu, Lujia Li

Information Processing & Management

DOI

2025

跨组织业务流程建模与过程模型挖掘

辛歌，刘伟

《计算机应用研究》

2024

基于S4PR网的多类型不可靠资源AMS自适应死锁控制策略

孙雅婷，刘伟

《计算机应用研究》

2024

基于层次逻辑博弈Petri网地铁应急管理系统建模与分析

刘伟，闫哲

《数学建模及其应用》

2023

基于逻辑博弈概率Petri网的地铁应急决策建模与分析

闫哲，刘伟，杜玉越

《系统仿真学报》

DOI

2023

基于BPMN的指挥控制流程建模方法

樊良优，姚小强，王刚，刘伟，何晟

《火力与指挥控制》

2022

基于逻辑博弈决策Petri网的应急决策建模与分析

李清，刘伟，管梦真，杜玉越，孙红伟

《计算机科学》

2021

An Algorithm for Mining Indirect Dependencies From Loop-Choice-Driven Loop Structure via Petri Nets

Hongwei Sun, Wei Liu, Liang Qi, Xiaojun Ren, Yuyue Du

IEEE Transactions on Systems Man and Cybernetics Systems

DOI

2020

A process mining algorithm to mixed multiple-concurrency short-loop structures

Hongwei Sun, Wei Liu, Liang Qi, Yuyue Du, Xiaojun Ren, Xinying Liu

Information Sciences

DOI

2020

Modeling and Analysis for Uncertainty in Logistic Chains Based on Logical Time Petri Nets

Xin Feng, Mao Lin, Wei Liu, Chun Gang Yan, Lei Liu

IEEE Access

DOI

2020

基于逻辑工作流网的有限无死锁组合

陈金栋，刘伟，冯新，刘雷

《山东科技大学学报(自然科学版)》

DOI

2019

Formal Interoperability Models of Sensor Networks Based on Logical Workflow Nets

Wei Liu, Mao Lin, Chun Gang Yan

International Journal of Software Engineering and Knowledge Engineering

DOI

2019

The Ant Colony Algorithm Based on Logic Time Petri Nets and Application in Electronic-Commerce Logistics

Xinying Liu, Wei Liu, Taian Liu, Hongwei Sun

IEEE Access

DOI

2019

Business Process Modeling and Analysis Based on Queue Logical Petri Nets

Lei Liu, Wei Liu, Yuyue Du

International Journal of Software Engineering and Knowledge Engineering

DOI

2019

基于Petri网的事件日志与过程模型对齐方法

田银花，杜玉越，韩咚，刘伟

《计算机集成制造系统》

DOI

2018

Analytic of B2C E - Commerce Credit Mechanism Mixed Strategy Risk Behavior Based on Logical Game Petri Nets

Wei Liu, Xin Feng, Fuxin Zhang, Yuyue Du, Chun Gang Yan

IEEE Access

DOI

2018

基于Petri网的批量迹与过程模型校准

田银花，杜玉越，韩咚，刘伟

《计算机学报》

2017

基于数据复杂性的信息系统复杂度测量方法的有效性验证

尹隽，王念新，葛世伦，刘伟

《管理学报（湖北）》，Vol. 14, No. 4

下载原文

2017

Extended Logical Petri Nets-Based Modeling and Analysis of Business Processes

Wei Liu, Pin Wang, Yuyue Du, MengChu Zhou, Chun Gang Yan

IEEE Access

DOI

2017

基于逻辑数据Petri网的业务过程建模与分析

王聘，刘伟，杜玉越

《计算机集成制造系统》

2017

一种高精确度的过程模型修复方法

祁宏达，杜玉越，刘伟

《计算机集成制造系统》

2016

Aligning observed and modelled behaviour based on workflow decomposition

Lu Wang, Yuyue Du, Wei Liu

Enterprise Information Systems

DOI

2016

基于Petri网基本结构的相似最优校准计算方法

田银花，杜玉越，韩咚，刘伟

《计算机集成制造系统》

DOI

2016

一种基于逻辑Petri网的过程挖掘方法

杜玉越，朱鸿儒，王路，刘伟

《电子学报》

2016

基于Petri网的产品建模及其时序改进方法

贾丽臻，檀润华，张换高，刘伟

《计算机集成制造系统》

DOI

2015

Logical Petri Nets with Data

Wei Liu, Pin Wang, Yuyue Du, Chun Gang Yan

International Conference on Instrumentation and Measurement, Computer, Communication and Control (IMCCC)

DOI

2014

Transformation of Logical Workflow Nets

Wei Liu, Yuyue Du, MengChu Zhou, Chun Gang Yan

IEEE Transactions on Systems Man and Cybernetics Systems

DOI

2013

基于数据复杂性的信息系统复杂度测量

刘伟，葛世伦，王念新，尹隽

《系统工程理论与实践》，Vol. 33, No. 12

下载原文

2012

Composition Patterns of Logical Net Elements

Wei Liu, Yu Yue Du, Liang Qi, Chun Gang Yan

Advanced materials research

DOI

2012

A Formal Representation of Collaborative Electronic Commerce Systems by Workflow Nets

Wei Liu, Yu Yue Du, You Fu, Chun Gang Yan

Applied Mechanics and Materials

DOI

2011

Soundness preservation in composed logical time workflow nets

Wei Liu, Yuyue Du, Chun Gang Yan

Enterprise Information Systems

DOI

2010

基于矩阵变换的软件可信性演化波及效应

程平，刘伟，陈艳

《系统工程理论与实践》，No. 5

下载原文

2010

我国可信软件产业的发展现状与应对策略

程平，刘伟，陈艳

《科技进步与对策》，No. 3

下载原文

2010

Soundness Verification and Analysis of Interorganizational Logical Workflow Nets

Wei Liu, Yuyue Du, Haichun Sun, Chun Gang Yan

International Workshop on Education Technology and Computer Science

DOI

刘伟

精选作品

期刊论文

Formal modeling and discovery of cross-organizational business processes: A privacy-preserving two-stage approach

跨组织业务流程建模与过程模型挖掘

基于S4PR网的多类型不可靠资源AMS自适应死锁控制策略

基于层次逻辑博弈Petri网地铁应急管理系统建模与分析

基于逻辑博弈概率Petri网的地铁应急决策建模与分析

基于BPMN的指挥控制流程建模方法

基于逻辑博弈决策Petri网的应急决策建模与分析

An Algorithm for Mining Indirect Dependencies From Loop-Choice-Driven Loop Structure via Petri Nets

A process mining algorithm to mixed multiple-concurrency short-loop structures

Modeling and Analysis for Uncertainty in Logistic Chains Based on Logical Time Petri Nets

基于逻辑工作流网的有限无死锁组合

Formal Interoperability Models of Sensor Networks Based on Logical Workflow Nets

The Ant Colony Algorithm Based on Logic Time Petri Nets and Application in Electronic-Commerce Logistics

Business Process Modeling and Analysis Based on Queue Logical Petri Nets

基于Petri网的事件日志与过程模型对齐方法

Analytic of B2C E - Commerce Credit Mechanism Mixed Strategy Risk Behavior Based on Logical Game Petri Nets

基于Petri网的批量迹与过程模型校准

基于数据复杂性的信息系统复杂度测量方法的有效性验证

Extended Logical Petri Nets-Based Modeling and Analysis of Business Processes

基于逻辑数据Petri网的业务过程建模与分析

一种高精确度的过程模型修复方法

Aligning observed and modelled behaviour based on workflow decomposition

基于Petri网基本结构的相似最优校准计算方法

一种基于逻辑Petri网的过程挖掘方法

基于Petri网的产品建模及其时序改进方法

Logical Petri Nets with Data

Transformation of Logical Workflow Nets

基于数据复杂性的信息系统复杂度测量

Composition Patterns of Logical Net Elements

A Formal Representation of Collaborative Electronic Commerce Systems by Workflow Nets

Soundness preservation in composed logical time workflow nets

基于矩阵变换的软件可信性演化波及效应

我国可信软件产业的发展现状与应对策略

Soundness Verification and Analysis of Interorganizational Logical Workflow Nets

研究方向