| Modeling and analysis of real-time cooperative systems using Petri nets YY Du, CJ Jiang, MC Zhou IEEE Transactions on Systems, Man, and Cybernetics-Part A: Systems and …, 2007 | 80 | 2007 |
| A Petri net-based model for verification of obligations and accountability in cooperative systems YY Du, CJ Jiang, MC Zhou IEEE Transactions on Systems, Man, and Cybernetics-Part A: Systems and …, 2009 | 74 | 2009 |
| A vector matching method for analysing logic Petri nets YY Du, L Qi, MC Zhou Enterprise Information Systems 5 (4), 449-468, 2011 | 63 | 2011 |
| Modeling and monitoring of E-commerce workflows YY Du, CJ Jiang, MC Zhou, Y Fu Information Sciences 179 (7), 995-1006, 2009 | 54 | 2009 |
| Analysis and application of logical Petri nets to E-commerce systems YY Du, L Qi, MC Zhou IEEE Transactions on Systems, Man, and Cybernetics: Systems 44 (4), 468-481, 2013 | 53 | 2013 |
| A Petri-net-based correctness analysis of Internet stock trading systems YY Du, CJ Jiang, MC Zhou IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and …, 2007 | 46 | 2007 |
| Soundness preservation in composed logical time workflow nets W Liu, YY Du, C Yan Enterprise Information Systems 6 (1), 95-113, 2012 | 45 | 2012 |
| Web 服务组合的有色网模型及运算性质 郭玉彬， 杜玉越， 奚建清 计算机学报 29 (7), 1067-1075, 2006 | 40 | 2006 |
| Formal representation and analysis of batch stock trading systems by logical Petri net workflows Y Du, C Jiang International Conference on Formal Engineering Methods, 221-225, 2002 | 40 | 2002 |
| Logic Petri nets and equivalency YY Du, BQ Guo Information Technology Journal 8 (1), 95-100, 2009 | 38 | 2009 |
| CP-net model and operation properties for web service composition. YB Guo, YY Du, JQ Xi Jisuanji Xuebao(Chinese Journal of Computers) 29 (7), 1067-1075, 2006 | 35 | 2006 |
| A user requirement oriented Web service discovery approach based on logic and threshold Petri net J Sha, Y Du, L Qi IEEE/CAA Journal of Automatica Sinica 6 (6), 1528-1542, 2019 | 33 | 2019 |
| Trust routing protocol based on cloud-based fuzzy petri net and trust entropy for mobile ad hoc network X Wang, P Zhang, Y Du, M Qi IEEE Access 8, 47675-47693, 2020 | 31 | 2020 |
| Service net algebra based on logic Petri nets Q Hu, Y Du, SX Yu Information Sciences 268, 271-289, 2014 | 31 | 2014 |
| A logic Petri net-based method for repairing process models with concurrent blocks Y Teng, Y Du, L Qi, W Luan Ieee Access 7, 8266-8282, 2018 | 27 | 2018 |
| A process mining algorithm to mixed multiple-concurrency short-loop structures HW Sun, W Liu, L Qi, YY Du, X Ren, XY Liu Information Sciences 542, 453-475, 2021 | 26 | 2021 |
| Transformation of logical workflow nets W Liu, YY Du, MC Zhou, C Yan IEEE Transactions on Systems, Man, and Cybernetics: Systems 44 (10), 1401-1412, 2014 | 25 | 2014 |
| A game theoretic approach for distributed and coordinated channel access control in cooperative vehicle safety systems F Zhang, M Zhou, L Qi, Y Du, H Sun IEEE Transactions on Intelligent Transportation Systems 21 (6), 2297-2309, 2019 | 24 | 2019 |
| Towards a workflow model of real-time cooperative systems Y Du, C Jiang International Conference on Formal Engineering Methods, 452-470, 2003 | 24 | 2003 |
| Efficient deviation detection between a process model and event logs L Wang, Y Du, L Qi IEEE/CAA Journal of Automatica Sinica 6 (6), 1352-1364, 2019 | 23 | 2019 |
MengChu ZhouNJITZweryfikowany adres z njit.edu