Publications of Professor Jiacun Wang

 

Books:

  1. J. Wang and W. Tepfenhart, Formal Methods in Computer Science, CPC Press, 2019, ISBN: 9781498775328.

  2. J. Wang, Real-time Embedded Systems, Wiley, 2017, ISBN: 978-1-118-11617-3.

  3. J. Wang, Finite State Based Models and Applications, CRC Press2012, ISBN: 978-1-4398-4618-6.

  4. J. Wang, Timed Petri Nets: Theory and Application, Kluwer Academic Publishers, 1998, ISBN: 0-7923-8270-6.
  
 

Book Chapters:

  1. J. Wang, Healthcare Patient Flow Modeling and Analysis with Timed Petri Nets, in: Advances in Computing, Informatics, Networking and Cybersecurity, Springer-Nature, 2022.

  2. J. Wang, Petri nets for dynamic event-driven system modeling, in: Handbook of Dynamic System Modeling, Ed: Paul Fishwick, CRC Press, 2007.

  3. J. Wang, S. Jiang, Stochastic Petri net models of communication and flexible systems, in: Petri Nets in Flexible and Automation, Ed: M. Zhou, Kluwer Academic Publishers, 1995.

  4. J. Wang, Time delay analysis of semi-Markov stochastic Petri net models, in: Robotics and Flexible Manufacturing Systems, Elsevier Science Publishers B. V., 1992.

 
 

Journal Articles:

  1. J. Gu, J. Wang, X. Guo, S. Qin, and Z. Bi, "A metaverse-based teaching building evacuation training system with deep reinforcement learning," IEEE Transactions on Systems, Man, and Cybernetics: Systems, vol. 43, no. 4, 2209 - 2219, Apr. 2023.

  2. H. Shi, G. Liu, K. Zhang, Z. Zhou, and J. Wang, " MARL Sim2real Transfer: Merging Physical Reality With Digital Virtuality in Metaverse, " IEEE Transactions on Systems, Man, and Cybernetics: Systems, vol. 43, no. 4,2107 - 2117, Apr. 2023.

  3. S. Qin, J. Li, J. Wang, X. Guo, S. Liu, L. Qi, "A salp swarm algorithm for parallel disassembly line balancing considering workers with government benefits, " IEEE Transactions on Computational Social Systems, 2023.

  4. X. Cui, X. Guo, M. Zhou, J. Wang, S. Qin, and L. Qi, "A discrete whale optimization algorithm for disassembly line balancing with carbon emission constraint," IEEE Robotics and Automation Letters, 2023.

  5. J. Wang, "Patient flow modeling and optimal staffing for emergency departments: A Petri net approach," IEEE Transactions on Computational Social Systems, 2022.

  6. H. Han, W. Li, J. Wang, G. Qin, and X. Qin, " Enhance explainability of manifold learning, " Neurocomputing, 2022.

  7. X. Guo, T. Wei, J. Wang, S. Liu, S. Qin, L. Qi, "Multi-objective U-shaped disassembly line balancing problem considering human fatigue index and an efficient solution, " IEEE Transactions on Computational Social Systems, 2022.

  8. Z. Zhang, J. Liu, G. Liu, J. Wang, and Y. Zhang, "Robustness verification of swish neural networks embedded in autonomous driving systems," IEEE Transactions on Computational Social Systems, 2022.

  9. P. Zhou, G. Liu, J. Wang, Q. Weng, K. Zhang and Z. Zhou, "Lightweight UAV video object detection based on spatial-temporal correlation," International Journal of Communication Systems, 35(17), 2022.

  10. W. Zhang, J. Wang, and F. Lan, "Dynamic hand gesture recognition based on short-term sampling neural networks," IEEE/CAA Journal of Automatica Sinica, vol. 8, no. 1, 110-120, 2021.

  11. B. Hu and J. Wang, " Deep Learning Based Hand Gesture Recognition and UAV Flight Controls, "International Journal of Automation and Computing, 17(1):17-29, 2020.

  12. J. Zhou. J. Wang, Jun Wang, "A simulation engine for stochastic timed petri nets and application to emergency healthcare systems," IEEE/CAA Journal of Automatica Sinica, 6(4):969-980, July 2019.

  13. N. Wang, J. Wang, X. Chen, "A trust-based formal model for fault detection in wireless sensor networks," Sensors, 19(8), 2019.

  14. X. Zhang, W. Song, J. Wang. J. Xing and Q. Zhou, "Measuring Business Process Consistency Across Different Abstraction Levels," IEEE Trans. Network and Service Management, 16(1), pp. 294- 307, 2019.

  15. Y. He, G. Liu, C. Yan, C. Jiang, and J. Wang, "Locating and Controlling Unsound Transitions in Workflow Systems Based on Workflow Net With Data Constraints," IEEE Access, 6:21005-21019, 2018.

  16. X. Zhang, J. Wang, J. Xing, W. Song, Q. Yang, “Measuring data-aware process consistency based on activity constraint graphs,” IEEE Access, DOI: 10.1109/ACCESS.2018.2795701, 2018.

  17. J. Wang, B. Tepfenhart, and X. Li, "Analysis of minimum workflow resource requirements," Communications in Computer Science and Information Systems, vol. 602, pp. 53-66, 2016.

  18. X. Heng, Z. Wang, and J. Wang, “Human activity recognition based on transformed accelerometer data from a mobile phone,” International Journal of Communication Systems, October 2014.

  19. J. Wang and D. Li, “Resource Oriented Workflow Nets and Workflow Resource Requirement Analysis,” International Journal on Software Engineering and Knowledge Engineering, vol. 23, no. 5, 667-693, 2013.

  20. J. Wang, “Emergency healthcare workflow modeling and timeliness analysis,” IEEE Transactions on Systems, Man and Cybernetics, Part A, vol. 42, no. 6, 1323-1331, 2012.

  21. D Li, Q Li, J Wang “Traffic information collecting algorithms for road selection decision support in vehicle ad hoc networks,” International Journal of Simulation and Process Modelling, 7 (1-2), 50-56, 2012.

  22. W. Tepfenhart and J. Wang, “Towards true dynamic workflow for emergency response, International Journal on Software Informatics, vol. 6, no. 2, 307-325, 2012.

  23. J. Wang, X. Zhou and J. Ding,Software architectural modelling and verification: a Petri net and temporal logic approach, Transactions of the Institute of Measurement and Control, vol. 33, 168-181, 2011.

  24. J. Wang and B. Gonzales, "An earthquake disaster simulator and damage evaluator," International Journal of Electrical, Electronics and Computing Technology, vol.1, no.1, 15-22, 2010.

  25. J. Wang, W. Tepfenhart and D. Rosca, Emergency Response Workflow Resource Requirements Modeling and Analysis, IEEE Transactions on Systems, Man and Cybernetics, Part C, vol. 39, no. 3, 270-283, 2009.

  26. D. Li, J. Wang, L. Zhang, H. Li and J. Zhou, A Cooperative Location Management Scheme for Mobile Ad Hoc Networks, Int. J. Communications, Network and System Sciences, 2009, 2, 732-741.

  27. J. Wang, D. Rosca, W. Tepfenhart, A. Milewski and M. Stoute, Dynamic workflow modeling and analysis in incident command systems, IEEE Transactions on Systems, Man and Cybernetics, Part A, vol. 38, no. 5, 1041-1055, 2008.

  28. D. Li, J. Zhou, J. Wang, A Markov jump theory based connectivity model of mobile ad hoc networks, Journal of Physics: Conference Series, 96, 2008.

  29. J. Wang, Charging information collection modeling and analysis of GPRS networks, IEEE Transactions on Systems, Man and Cybernetics, Part C, vol. 37, no. 4, 473-481, 2007.

  30. W. Tepfenhart, J. Wang, D. Rosca, and A. Tsai, "Resource-constrained and decision support workflow modeling", International Journal on Intelligent Control and Systems, vol. 12, no. 1,  2007.

  31. D. Li, J. Wang, J. Zhou and Z. Wang, Location management cost estimation of ad hoc mobile networks, International Journal on Intelligent Control and Systems, vol. 11, no. 1, 11-16, 2006.

  32. D. Li, J. Zhou and J. Wang, Modeling and simulating of a mobile decision process, International Journal of Nonlinear Sciences and Numerical Simulation no. 1, 105-108, 2006.

  33. Y. Deng, J. Wang, X. He and J. Tsai, Constraint propagation and progressive verification for component-based process model, International Journal of Software Engineering and Knowledge Engineering, vol. 14, no. 5, 471-496, 2004.

  34. Y. Deng, J. Wang,, M. Zhou, “Consistency verification in modeling of real time systems“, IEEE Transactions on Robotics and Automation, vol. 20, no. 1, 136-142, 2004.

  35. Y. Deng, J. Wang, K. Beznosov and J. Tsai, An approach for modeling and analysis of security system architectures, IEEE Transactions on Knowledge and Data Engineering, vol. 15, no. 5, 1099-1119, 2003.

  36. J. Wang, Y. Deng, and C. Jin. Compositional modeling and performance evaluation of traffic control systems via stochastic timed Petri nets, International Journal of Software Engineering and Knowledge Engineering, vol. 10, no. 6, 735-575, 2000.

  37. J. Wang, Y. Deng and M. Zhou. Compositional time Petri nets and reduction rules, IEEE Transactions on Systems, Man and Cybernetics, Part B, vol. 30, no. 4, 562-572, 2000.

  38. J. Wang, Y. Deng and G. Xu. Reachability analysis of real time systems based on time Petri nets ,IEEE Transactions on Systems, Man and Cybernetics, Part B, vol. 30, no. 5, 725-736, 2000.

  39. J. Wang, X. He and Y. Deng. Introducing software architecture specification and analysis in SAM through an example, Information and Software Technology, vol. 41, no. 7, 451-467, 1999.

  40. Y. Deng and J. Wang, “Integrated architectural modeling and analysis for high-assurance command and control system design“, Annals of Software Engineering, vol.7, 47-70, 1999.

  41. J. Wang and Y. Deng, “Incremental modeling and verification of flexible manufacturing systems“, Journal of Intelligent Manufacturing, vol. 10, no. 6, 485-502, 1999.

  42. J. Wang, M. Zhou and Y. Deng, Throughput analysis of discrete event systems based on stochastic Petri nets, International Journal of Intelligent Control and Systems, vol. 3, no. 3, 343-358, 1999.

  43. J. Wang and S. Jiang, "Information processing capacity model of command and control system," Journal of Nanjing University of Science and Technology, vol. 21, no. 5, 395-398, 1997.

  44. J. Wang and S. Jiang, "Bottleneck analysis of stochastic Petri net models," Journal of Command and Control, vol. 22, no. 2, 1997.

  45. J. Wang and Z. Huang, "Calculation of hybrid state densities of cycle stochastic Petri nets," Journal of Southeast University, vol. 26, no. 6, 1996.

  46. Z. Huang and J. Wang, "Calculation of hybrid state densities of acyclic stochastic Petri nets," Journal of Southeast University, vol. 25, no.5A, 165-168, 1995.

  47. S. Jiang and J. Wang, "Decomposition analysis based on generalized stochastic Petri nets," Journal of Southeast University, 25(3A), 1995.

  48. Z. Huang and J. Wang, "Hybrid state analysis method of non-Markovian stochastic Petri net models," Chinese Journal of Automation, Alleron Press, Inc., vol. 7, no. 1, 1995.

  49. J. Wang and Z. Huang, "Time delay analysis for decision-making organizations," Journal of Command and Control, vol. 18, no.4, 1-5, 1993.

  50. J. Wang and Z. Huang, "A new method for time delay analysis of a class of stochastic Petri net models," Control Theory and Application, vol. 9, no. 4, 329-335, 1992.

  51. Z. Huang and J. Wang, Petri net theory and applications to modeling of command and control systems," Journal of Command and Control, vol. 14, no. 4, 8-13, 1989.

 

Conference Papers:

  1. A. Zhu, A. Sala, J. Wang, "Colored Petri nets based patient flow modeling and optimal staffing in emergency healthcare,"Proceedings of 2022 International Conference on Cyber-Physical Social Intelligence (ICCSI), Nanjing, China,  Nov. 2022.

  2. Y. Hu, L. Zheng, J. Wang, "Predicting ICU length of stay for patients with diabetes using machine learning techniques,," Proceedings of 2022 International Conference on Cyber-Physical Social Intelligence (ICCSI),Nanjing, China,  Nov. 2022.

  3. J. Strobing, M. Granit, J. Wang, "Generalized stochastic Petri net aased simulation of IoT supported dynamic navigation in teaching building evacuation,"Proceedings of 2022 International Conference on Cyber-Physical Social Intelligence (ICCSI), Nanjing, China,  Nov. 2022.

  4. Y. Hu, J. Wang, and G. Liu. "Identify Bottlenecks of Patient Flow in Emergency Departments," Proceedings of IEEE 18th International Conference on Automation Science and Engineering (CASE), Mexico City, Aug. 2022.

  5. Z. Bi, X. Guo, J. Wang, S. Qin, L. Qi, J. Zhao, "A Q-learning-based selective disassembly sequence planning method,"IEEE International Conference on Systems, Man, and Cybernetics, Prague, Oct. 2022.

  6. W. Cai, X. Guo, J. Wang, S. Qin, J. Zhao, Y. Tan, "An improved advantage actor-critic algorithm for disassembly line balancing problems considering tools deterioration,"IEEE International Conference on Systems, Man, and Cybernetics, Prague, Oct. 2022.

  7. H. Zhang, P. Liu, X. Guo, J. Wang, S. Qin, L. Qi, J. Zhao, "An Improved Q-Learning Algorithm for Solving Disassembly Line Balancing Problem Considering Carbon Emission,"IEEE International Conference on Systems, Man, and Cybernetics, Prague, Oct. 2022.

  8. Z. Zhong, X. Guo, M. Zhou, J. Wang, S. Qin, L. Qi, "Proximal Policy Optimization Algorithm for Multi-objective Disassembly Line Balancing Problems,"2022 Australian & New Zealand Control Conference, Gold Coast, Nov. 2022.

  9. Y. Hu, J. Wang, and G. Liu, "Resource-oriented timed workflow nets and simulation tool design," Proceedings of 2021 International Conference on Cyber-Physical Social Intelligence (ICCSI), China,  Dec. 2021.

  10. G. Liu, J. Tang, Y. Tian and J. Wang, "Graph Neural Network for Credit Card Fraud Detection," Proceedings of 2021 International Conference on Cyber-Physical Social Intelligence (ICCSI), China,  Dec. 2021.

  11. L. Zheng, E. Eniola, and J. Wang, "Machine Learning for Colorectal Cancer Risk Prediction," Proceedings of 2021 International Conference on Cyber-Physical Social Intelligence (ICCSI), China,  Dec. 2021.

  12. L. Zheng, J. Wang, A. Sheriff and X. Chen, "Hospital Length of Stay Prediction with Ensemble Methods in Machine Learning," Proceedings of 2021 International Conference on Cyber-Physical Social Intelligence (ICCSI), China,  Dec. 2021.

  13. N. Shen, Jun Wang, J. Wang, X. Liu, L. Yang and Y. Wang, "Patient flow congestion control based on stochastic timed Petri net model, " Proceedings of 2021 International Conference on Cyber-Physical Social Intelligence (ICCSI), China,  Dec. 2021.

  14. J. Wang, Jun Wang, G. Liu, and Q. Zeng, "Formal analysis of emergency department staffing based on stochastic timed Petri net models,"15th IFAC International Workshop on Discrete Event Systems, Brazil, Nov. 2020.

  15. W. Zhang and J. Wang, "Dynamic Hand Gesture Recognition Based on 3D Convolutional Neural Networks Models," IEEE International Conference on Network, Sensing and Control, Banff, Canada, May 9 - 11, 2019.

  16. Y. Du, T. Zhang, and J. Wang, "Discrete Spatial Data Reconstruction based on Deep Neural Network," IEEE International Conference on Network, Sensing and Control, Banff, Canada   May 9-11, 2019.

  17. B. He and J. Wang, "Deep learning based hand gesture recognition and UAV flight control," Proceedings of the 24th International Conference on Automation & Computing, Newcastle University, Newcastle upon Tyne, UK,  6-7 September 2018.

  18. J. Wang, J. Tian and R. Sun, "Emergency healthcare resource requirement analysis: a stochastic timed Petri net approach," IEEE International Conference on Network, Sensing and Control,, Xi'an, China, May 30 - June 1, 2016.

  19. J. Wang, X. Li and G. Liu, "Cyclic workflow resource requirement analysis and application in healthcare," 13th International Workshop on Discrete Event Systems, Zhuhai, China, March 30 - April 2, 2018.

  20. X. Wang and J. Wang, "Simulation analysis of EKF and UKF implementations in PHD filter," IEEE International Conference on Network, Sensing and Control, Mexico City, April 28-30, 2016.

  21. X. Zhang, D. Li, J. Wang and G. Zhang, "Faster parking and less cruise for public parking spot discovery: modeling and analysis based on timed Petri nets," IEEE International Conference on Network, Sensing and Control, Mexico City, April 28-30, 2016.

  22. J. Qin and J. Wang, “Demand-side energy simulation, assessment and optimization,” IEEE International Conference on Network, Sensing and Control, Taipei, April, 2015.

  23. F. Hu, J. Qin and J. Wang, Electrical Load Schedule Optimization for Manufacturing Plant, Proceedings of IEEE International Conference on Networking, Sensing and Control, Miami, 2014.

  24. J. Wang and D. Li, “Resource modeling and analysis for workflows: A Petri net approach,” Proceedings of IEEE International Conference on Software Engineering and Knowledge Engineering, San Francisco, 2012.

  25. J. Wang and D. Li, “Resource modeling and analysis for workflows,” Proceedings of IEEE International Conference on Networking, Sensing and Control, Beijing, China, 2012.

  26. J. Wang and B. Tephenhart, "Real-time workflow modeling and analysis in emergency response," Proceedings of International Conference on Software Engineering Research and Practise," Las Vegas, Nevada, 385-391, 2010.  (Acceptance rate: 26%)

  27. W. Tepfenhart, J. Wang, and D. Rosca, "Agent Based Emergency Response Workflow Management,"
    Proceedings of IEEE International Conference on Service Operations, Logistics and Informatics, Chicago, July 22-24, 2009. pp. 140-146.

  28. M. Tarullo, D. Rosca, J. Wang and W. Tepfenhart, "WIFAi: A Tool Suite For The Modeling And Enactment Of Inter-organizational Workflows," Proceedings of IEEE International Conference on Service Operations, Logistics and Informatics, Chicago, July 22-24, 2009. pp. 764-769.

  29. J. Wang, X. Zhou, and J. Ding, "Software architectural modeling and verification: a Petri net and temporal logic approach," Proceedings of the Workshop on Petri Nets and Agile Manufacturing, Xi'an, China, June, 2008.

  30. J. Wang, W. Tepfenhart and D. Rosca, "Workflow resource requirement modeling and analysis," Proceedings of IEEE International Conference on Networking, Sensing and Control, Sanya, China, April 6-8, 2008. pp 246-251.

  31. J. Wang, W. Tepfenhart, D. Rosca, and A. Tsai, "Resource-constrained workflow modeling,"  Proceedings of IEEE & IFIP International Symposium on Theoretical Aspects of Software Engineering, Shanghai, China, June 6-8, 2007,

  32. D. Rosca and J. Wang, Inter-organizational workflow modeling and analysis of incident command systems, Proceedings of IEEE International Conference on Networking, Sensing and Control, London, April 15-18, 2007.

  33. J. Wang and D. Rosca, "Dynamic workflow modeling and verification," Proceedings of International Conference on Advanced Information Systems Engineering, Luxembourg, June 5-9, 2006.  (Acceptance rate: 17%)

  34. A. Tsai, J. Wang, W. Tepfenhart and D. Rosca, "EPC workflow model to WIFA model conversion," Proceedings of IEEE International Conference on Systems, Man and Cybernetics, Taipei, October 8-11, 2006

  35. D. Ghiringhelli and J. Wang, "Real-time system schediling tool development," 2006 ASEE Annual Conference, Chicago, IL, June 18-21, 2006.

  36. J. Wang, D. Rosca, W. Tepfenhart and A. Milewski, "Incident command system workflow modeling and analysis: a case study," Third International Conference on Information Systems for Crisis Response and Management, Newark, NJ, May 15-17, 2006.

  37. M. Stoute J. Wang, D. Rosca, W. Tepfenhart, and A. Milewski, "Workflow management tool support for incident command systems", Proceedings of IEEE International Conference on Networking, Sensing and Control, Fort Lauderdale, Florida, April 23-25,2006

  38. J. Wang, D. Rosca, W. Tepfenhart, A. Milewski, and M. Stoute, "An intuitive formal approach to dynamic workflow modeling and analysis," 3rd International Conference on Business Process Management,  Nancy, France, Sept. 5-8, 2005, LNCS 3649, pp. 137-152.  (Acceptance rate: 13%)

  39. J. Wang, "Real-time billing throughput analysis of wireless telecommunication systems", Proceedings of IEEE International Conference on Networking, Sensing and Control, Tucson, Arizona, March 19-23, 789-794, 2005

  40. X. He, J. Ding, J. Wang and Y. Deng, "Model checking software architecture specifications in SAM", Proceedings of International Conference on Software Engineering and Knowledge Engineering, Ischia, Italy, July 15-19, 2002.

  41. Y. Deng, J. Wang, K. Beznosov and J. J.P. Tsai, "Modeling and analysis of security system architectures", Proceedings of ISADS 2001, Dallas, Texas, March 2001.

  42. J. Wang, G. Xu and Y. Deng. Reduction rules for components in SAM, Proceedings of Fifth International Conference on Integrated Design and Process Technology, Dallas, 2000.
  43. J. Wang, C. Jin and Y. Deng, Performance analysis of traffic networks based on stochastic timed Petri net models, Proceedings of the 5th IEEE International Conference on Engineering of Complex Computer Systems, Las Vegas, 77-85, 1999.
  44. J. Wang, C. Jin and Y. Deng, Performance analysis of traffic systems based on stochastic timed Petri net models, Proceedings of the 23rd Annual International Computer Software and Applications Conference, Phoenix, Arizona, 436-441, 1999.
  45. Y. Deng, J. Wang, and R. Sinha, Integrated architecture modeling of real-time concurrent systems with applications in FMS, Proceedings of the 10th International Conference on Software Engineering and Knowledge Engineering, San Francisco Bay, USA June 18-20, 1998
  46. J. Wang and Y. Deng, Component-level reduction rules for time Petri nets with application in C2 systems, Proceedings of the IEEE Conference on Systems, Man and Cybernetics, San Diego, California, USA, 125-130, October 1998.
  47. Y. Deng, J. Wang, and R. Sinha, Incremental Architectural Modeling and Verification of Real Time Concurrent systems, Proceedings of the 2nd IEEE International Conference on Formal Engineering Methods, Brisbane, Australia, 26-34, December 1998.
  48. J. Wang, Y. Deng and Xudong He, A formal architectural specification model for real-time systems design, Proceedings of IASTED Conference on Software Engineering, Las Vegas, USA, 11-14, 1998.
  49. Y. Deng and J. Wang, Integrated architectural modeling and analysis for high-assurance command and control system design, Proceedings of 3rd IEEE High-Assurance System Engineering Symposium, Washington, 270-278, 1998.
  50. R. S. Paranjpe, M. Zhou, and J. Wang, Petri Net Modeling and Performance Analysis of Z39.50 Search and Retrieval Protocol. Proceedings of IEEE Conference on System, Man, and Cybernetics, Orlando. 1997.
  51. J. Wang and M. Zhou, On Information Processing Capacity of anti-aircraft tactic command and control systems. Proceedings of IEEE Conference on System, Man, and Cybernetics, Orlando. 1997.
  52. J. Wang, Z. Huang, GSPN models for survivability of multimedia communication networks, Proc. of the 1st Int. Conf. on Electronics and information Technology, Beijing, 1994
  53. Z. Huang, J. Wang and M. Zhou, Hybrid state analysis method in stochastic Petri nets, Proc. of the IEEE Conf. on System, Man, and Cybernetics, USA,992-997, 1992.
  54. J. Wang and Z. Wang, Hierarchical models for time delay of command and control systems, Proc. of the IFAC Symp. on Large Scale Systems, Beijing, 541-546, 1992.
  55. J. Wang and Z. Huang, Performance Evaluation on Decision-making organization via timed Petri net models, Proc. of Int. Conf. on Modeling, Simulation, and Control, Hefei, China, 588-594, 1992.
  56. J. Wang and Z. Huang, Stochastic Petri net model of an assemble line, Proc. of the 11th Int. Congress of Production Research, Hefei, China, 1991.
  57. J. Wang, A new method for aggregation of complex stochastic Petri net models based upon time delay, Proc. of the IFAC Workshop on DES, Shengyang, China, 1991.
  58. Z. Huang and J. Wang, A new method for time delay analysis of stochastic Petri net models, Proc. of the IFAC Workshop on DES, Shengyang, China, 1991.
 
 

                  Back                                            Last updated: Monday, March 20, 2023