| Timed Petri nets: Theory and application J Wang Springer Science & Business Media, 2012 | 611 | 2012 |
| Reachability analysis of real-time systems using time Petri nets J Wang, Y Deng, G Xu IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics) 30 …, 2000 | 179 | 2000 |
| Petri Nets for Dynamic Event-Driven System Modeling. J Wang Handbook of dynamic system modeling 1, 24, 2007 | 163 | 2007 |
| Deep learning based hand gesture recognition and UAV flight controls B Hu, J Wang International Journal of Automation and Computing 17 (1), 17-29, 2020 | 133 | 2020 |
| Dynamic hand gesture recognition based on short-term sampling neural networks W Zhang, J Wang, F Lan IEEE/CAA Journal of Automatica Sinica 8 (1), 110-120, 2020 | 122 | 2020 |
| An approach for modeling and analysis of security system architectures Y Deng, J Wang, JJP Tsai, K Beznosov IEEE Transactions on knowledge and data engineering 15 (5), 1099-1119, 2003 | 111 | 2003 |
| Formal methods in computer science J Wang Chapman and Hall/CRC, 2019 | 104 | 2019 |
| Emergency response workflow resource requirements modeling and analysis J Wang, W Tepfenhart, D Rosca IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and …, 2009 | 79 | 2009 |
| Introducing software architecture specification and analysis in SAM through an example J Wang, X He, Y Deng Information and Software Technology 41 (7), 451-467, 1999 | 79 | 1999 |
| A simulation engine for stochastic timed Petri nets and application to emergency healthcare systems J Zhou, J Wang, J Wang IEEE/CAA Journal of Automatica Sinica 6 (4), 969-980, 2019 | 74 | 2019 |
| Compositional time Petri nets and reduction rules J Wang, Y Deng, MC Zhou IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics) 30 …, 2000 | 63 | 2000 |
| Dynamic workflow modeling and analysis in incident command systems J Wang, D Rosca, W Tepfenhart, A Milewski, M Stoute IEEE Transactions on Systems, Man, and Cybernetics-Part A: Systems and …, 2008 | 60 | 2008 |
| Performance analysis of traffic networks based on stochastic timed Petri net models J Wang, C Jin, Y Deng Proceedings Fifth IEEE International Conference on Engineering of Complex …, 1999 | 55 | 1999 |
| Incremental modeling and verification of flexible manufacturing systems J Wang, Y Deng Journal of Intelligent Manufacturing 10, 485-502, 1999 | 51 | 1999 |
| Enhance explainability of manifold learning H Han, W Li, J Wang, G Qin, X Qin Neurocomputing 500, 877-895, 2022 | 50 | 2022 |
| Multiobjective U-shaped disassembly line balancing problem considering human fatigue index and an efficient solution X Guo, T Wei, J Wang, S Liu, S Qin, L Qi IEEE Transactions on Computational Social Systems, 2022 | 49 | 2022 |
| Handbook of finite state based models and applications J Wang CRC press, 2012 | 49 | 2012 |
| Emergency healthcare workflow modeling and timeliness analysis J Wang IEEE Transactions on Systems, Man, and Cybernetics-Part A: Systems and …, 2012 | 49 | 2012 |
| Patient flow modeling and optimal staffing for emergency departments: A Petri net approach J Wang IEEE Transactions on Computational Social Systems, 2022 | 47 | 2022 |
| EPC workflow model to WIFA model conversion A Tsai, J Wang, W Tepfenhart, D Rosca 2006 IEEE International Conference on Systems, Man and Cybernetics 4, 2758-2763, 2006 | 44 | 2006 |
GuanJun LiuDepartment of Computer Sciences, Tongji UniversityVerified email at tongji.edu.cn
