Yuyue Du

According to our database, Yuyue Du authored at least 63 papers between 2002 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

LPN-Based Model Repair Method for Changed Business Processes.

Yuyue Du, Yuhua Xu, Liang Qi, Yijia Liu, Qun Wang, Mei Chen

Comput. Informatics, 2026

2025

Ensemble Prediction of Business Process Remaining Time Based on Random Forest and XGBoost.

Yinhua Tian, Yan Su, Ruizhe Zhang, Yuyue Du, Nana Zhou, Xueqiang Gao

Comput. Informatics, 2025

Constructing and Repairing Process Models Containing Loop Return Structures via Logic Petri Nets.

Yuyue Du, Wenjing Luan, Xize Zhang, Mei Chen

Comput. Informatics, 2025

2022

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 Trans. Syst. Man Cybern. Syst., 2022

Deep convolutional neural networks for bias field correction of brain magnetic resonance images.

Yan Xu, Yuwen Wang, Shunbo Hu, Yuyue Du

J. Supercomput., 2022

Deviation Detection in Clinical Pathways Based on Business Alignment.

Yinhua Tian, Xinran Li, Man Qi, Dong Han, Yuyue Du

Sci. Program., 2022

A Web service clustering method based on topic enhanced Gibbs sampling algorithm for the Dirichlet Multinomial Mixture model and service collaboration graph.

Qiang Hu, Jiaji Shen, Kun Wang, Junwei Du, Yuyue Du

Inf. Sci., 2022

Repairing Process Models with Non-Free-Choice Constructs Based on Token Replay.

Erjing Bai, Man Qi, Wenjing Luan, Peng Li, Yuyue Du

Comput. Informatics, 2022

2021

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

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

Inf. Sci., 2021

Method for Repairing Process Models with Selection Structures Based on Token Replay.

Erjing Bai, Na Su, Yu Liang, Liang Qi, Yuyue Du

Comput. Informatics, 2021

2020

A Game Theoretic Approach for Distributed and Coordinated Channel Access Control in Cooperative Vehicle Safety Systems.

Fuxin Zhang, Mengchu Zhou, Liang Qi, Yuyue Du, Haichun Sun

IEEE Trans. Intell. Transp. Syst., 2020

A Logic Petri Net-Based Repair Method of Process Models with Incomplete Choice and Concurrent Structures.

Yuanxiu Teng, Yuyue Du, Liang Qi

Comput. Informatics, 2020

Trust Routing Protocol Based on Cloud-Based Fuzzy Petri Net and Trust Entropy for Mobile Ad hoc Network.

Xiaoliang Wang, Peng Zhang, Yuyue Du, Mei Qi

IEEE Access, 2020

Composition and Application of Extended Colored Logic Petri Nets to E-Commerce Systems.

Zhen Wang, Wenjing Luan, Yuyue Du, Liang Qi

IEEE Access, 2020

2019

A Web Service Composition Approach Based on Planning Graph and Propositional Logic.

Shiyang Deng, Yuyue Du, Liang Qi

J. Organ. End User Comput., 2019

Deadlock detection-oriented unfolding of unbounded Petri nets.

Faming Lu, Ranran Tao, Yuyue Du, Qingtian Zeng, Yunxia Bao

Inf. Sci., 2019

Business Process Modeling and Analysis Based on Queue Logical Petri Nets.

Lei Liu, Wei Liu, Yuyue Du

Int. J. Softw. Eng. Knowl. Eng., 2019

Efficient deviation detection between a process model and event logs.

Lu Wang, Yuyue Du, Liang Qi

IEEE CAA J. Autom. Sinica, 2019

A user requirement oriented web service discovery approach based on logic and threshold petri net.

Jing Sha, Yuyue Du, Liang Qi

IEEE CAA J. Autom. Sinica, 2019

Repair Process Models Containing Non-Free-Choice Structures Based on Logic Petri Nets.

Wentai Zheng, Yuyue Du, Shouguang Wang, Liang Qi

IEEE Access, 2019

A Method for Repairing Process Models Containing a Choice With Concurrency Structure by Using Logic Petri Nets.

Wentai Zheng, Yuyue Du, Liang Qi, Lu Wang

IEEE Access, 2019

Bias Correction of Multiple MRI Images Based on an Improved Nonparametric Maximum Likelihood Method.

Yan Xu, Shunbo Hu, Yuyue Du

IEEE Access, 2019

A Logic Petri Net-Based Model Repair Approach by Constructing Choice Bridges.

Yuhua Xu, Yuyue Du, Liang Qi, Wenjing Luan, Lu Wang

IEEE Access, 2019

A Process Model Repair Approach by Constructing Choice Structures via Logic Petri Nets.

Yuhua Xu, Yuyue Du, Wenjing Luan, Liang Qi

IEEE Access, 2019

A Simple Logic Transition Repair Method for Business Process Models via Logic Petri Nets.

Yuanxiu Teng, Yuyue Du, Liang Qi, Wenjing Luan, Lu Wang

IEEE Access, 2019

A Logic Petri Net-Based Method for Repairing Process Models With Concurrent Blocks.

Yuanxiu Teng, Yuyue Du, Liang Qi, Wenjing Luan

IEEE Access, 2019

A Method for Mining Process Models With Indirect Dependencies via Petri Nets.

Huiming Sun, Yuyue Du, Liang Qi, Zhaoyang He

IEEE Access, 2019

Logic Petri Net Synthesis for Cooperative Systems.

Wenjing Luan, Liang Qi, Zhongying Zhao, Jianxin Liu, Yuyue Du

IEEE Access, 2019

A Model Repair Approach Based on Petri Nets by Constructing Free-Loop Structures.

Zhaoyang He, Yuyue Du, Liang Qi, Haisen Du

IEEE Access, 2019

2018

Robust convolution kernel quantity determination based on corner radiation area adaptation.

Yu Liang, Yuyue Du, Siguang Li, Maozhen Li

Neurocomputing, 2018

An approach to repair Petri net-based process models with choice structures.

Hongda Qi, Yuyue Du, Liang Qi, Lu Wang

Enterp. Inf. Syst., 2018

Petri net-based deviation detection between a process model with loop semantics and event logs.

Lu Wang, Yuyue Du, Man Qi, Hongda Qi, Zhaoyang He

Concurr. Comput. Pract. Exp., 2018

Reduced alignment based on Petri nets.

Yinhua Tian, Yuyue Du, Maozhen Li, Dong Han, Qiang Hu

Concurr. Comput. Pract. Exp., 2018

Repairing Process Models Containing Choice Structures via Logic Petri Nets.

Xize Zhang, Yuyue Du, Liang Qi, Haichun Sun

IEEE Access, 2018

An Approach for Repairing Process Models Based on Logic Petri Nets.

Xize Zhang, Yuyue Du, Liang Qi, Haichun Sun

IEEE Access, 2018

Model Predictive Power Control for Cooperative Vehicle Safety Systems.

Fuxin Zhang, Yuyue Du, Wei Liu, Peng Li

IEEE Access, 2018

Repairing Process Models With Logical Concurrent and Casual Relations via Logical Petri Nets.

Yuhua Xu, Yuyue Du, Wenjing Luan, Liang Qi, Haichun Sun

IEEE Access, 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 Yan

IEEE Access, 2018

An Alpha-FL Algorithm for Discovering Free Loop Structures From Incomplete Event Logs.

Zhaoyang He, Yuyue Du, Lu Wang, Liang Qi, Haichun Sun

IEEE Access, 2018

Auditing Between Event Logs and Process Trees.

Hongxia Li, Haixia Hou, Yuyue Du, Zhi Liu

Proceedings of the Digital TV and Multimedia Communication - 15th International Forum, 2018

2017

A Repair of Workflow Models Based on Mirroring Matrices.

Yanan Sun, Yuyue Du, Maozhen Li

Int. J. Parallel Program., 2017

Deadlock Property Analysis of Concurrent Programs Based on Petri Net Structure.

Wei Liu, Lu Wang, Yuyue Du, Maozhen Li

Int. J. Parallel Program., 2017

Constructing Service Clusters Based on Service Space.

Yuyue Du, Lu Wang, Man Qi

Int. J. Parallel Program., 2017

Aligning observed and modelled behaviour based on workflow decomposition.

Lu Wang, Yuyue Du, Wei Liu

Enterp. Inf. Syst., 2017

A Web service substitution method based on service cluster nets.

Yuyue Du, Junjing Gai, Mengchu Zhou

Enterp. Inf. Syst., 2017

Composition of Logical Petri Nets and Compatibility Analysis.

Wenjing Luan, Liang Qi, Yuyue Du

IEEE Access, 2017

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

Wei Liu, Pin Wang, Yuyue Du, Mengchu Zhou, Chun Yan

IEEE Access, 2017

2015

Coloured Logic Petri Nets and analysis of their reachable trees.

Jing Wang, Yuyue Du, ShuXia Yu

Enterp. Inf. Syst., 2015

2014

Transformation of Logical Workflow Nets.

Wei Liu, Yuyue Du, MengChu Zhou, Chun Yan

IEEE Trans. Syst. Man Cybern. Syst., 2014

Analysis and Application of Logical Petri Nets to E-Commerce Systems.

Yuyue Du, Liang Qi, MengChu Zhou

IEEE Trans. Syst. Man Cybern. Syst., 2014

Service net algebra based on logic Petri nets.

Qiang Hu, Yuyue Du, ShuXia Yu

Inf. Sci., 2014

Property analysis of logic Petri nets by marking reachability graphs.

Yuyue Du, Yuhui Ning

Frontiers Comput. Sci., 2014

Reachability analysis of logic Petri nets using incidence matrix.

Yuyue Du, Yuhui Ning, Liang Qi

Enterp. Inf. Syst., 2014

2012

Soundness preservation in composed logical time workflow nets.

Wei Liu, Yuyue Du, Chun Yan

Enterp. Inf. Syst., 2012

Cluster-oriented service composition modeling method based on logical net units.

Liang Qi, Yuyue Du, Wenjing Luan

Proceedings of 9th IEEE International Conference on Networking, Sensing and Control, 2012

2011

A vector matching method for analysing logic Petri nets.

Yuyue Du, Liang Qi, MengChu Zhou

Enterp. Inf. Syst., 2011

2009

A Petri Net-Based Model for Verification of Obligations and Accountability in Cooperative Systems.

Yuyue Du, Changjun Jiang, MengChu Zhou

IEEE Trans. Syst. Man Cybern. Part A, 2009

Modeling and monitoring of E-commerce workflows.

Yuyue Du, Changjun Jiang, MengChu Zhou, You Fu

Inf. Sci., 2009

2008

A Petri-Net-Based Correctness Analysis of Internet Stock Trading Systems.

Yuyue Du, Changjun Jiang, MengChu Zhou

IEEE Trans. Syst. Man Cybern. Part C, 2008

2007

Modeling and Analysis of Real-Time Cooperative Systems Using Petri Nets.

Yuyue Du, Changjun Jiang, MengChu Zhou

IEEE Trans. Syst. Man Cybern. Part A, 2007

2004

Verifying Functions in Online Stock Trading Systems.

Yuyue Du, Changjun Jiang

J. Comput. Sci. Technol., 2004

2003

Towards a Workflow Model of Real-Time Cooperative Systems.

Yuyue Du, Changjun Jiang

Proceedings of the Formal Methods and Software Engineering, 2003

2002

Formal Representation and Analysis of Batch Stock Trading Systems by Logical Petri Net Workflows.

Yuyue Du, Changjun Jiang

Proceedings of the Formal Methods and Software Engineering, 2002