Concepedia

Yuyue Du

YD

Statistics

Publications

33

Citations

756

H-Index

17

Active since

2007

Affiliations

Shandong University of Science and Technology(Current)

New Jersey Institute of Technology

Tongji University

Linyi University

China People's Public Security University

Yuyue Du is an author at Shandong University of Science and Technology specializing in engineering, computer science, and systems engineering.

Top concepts

EngineeringComputer ScienceSystems EngineeringFormal MethodsFormal VerificationSoftware DesignIndustrial InformaticsProcess ControlAutomated ReasoningComputer Engineering

Publications per year

2007–2022

33

Publications

33

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

Yuyue Du, Changjun Jiang, MengChu Zhou · IEEE Transactions on Systems Man and Cybernetics - Part A Systems and Humans · 2009 · 62 citations

Petri Net, Engineering, Information Security +16

A vector matching method for analysing logic Petri nets

Yuyue Du, Liang Qi, MengChu Zhou · Enterprise Information Systems · 2011 · 60 citations

Petri Net, Engineering, Reachability Problem +20

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

Yuyue Du, Liang Qi, MengChu Zhou · IEEE Transactions on Systems Man and Cybernetics Systems · 2013 · 49 citations

Petri Net, Engineering, Reachability Problem +18

Modeling and monitoring of E-commerce workflows

Yuyue Du, Changjun Jiang, MengChu Zhou et al. · Information Sciences · 2008 · 44 citations

E-commerce Workflows, Engineering, Business Intelligence +10

Soundness preservation in composed logical time workflow nets

Wei Liu, Yuyue Du, Chun Yan · Enterprise Information Systems · 2011 · 41 citations

Petri Net, Engineering, Verification +19

1–5 of 33