Publications of Professor Jiacun Wang

 

 

Book:

  1. J. Wang, Finite State Based Models and Applications, CRC Press, 2012, ISBN: 978-1-4398-4618-6.
  2. J. Wang, Timed Petri Nets: Theory and Application, Kluwer Academic Publishers, 1998, ISBN: 0-7923-8270-6.
 
 

Book Chapters:

  1. J. Wang, Petri nets for dynamic event-driven system modeling, in: Handbook of Dynamic System Modeling, Ed: Paul Fishwick, CRC Press, 2007.
  2. 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.
  3. 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. Wang, “Emergency healthcare workflow modeling and timeliness analysis,” IEEE Transactions on Systems, Man and Cybernetics, Part A, vol. 42, no. 6, 1323-1331, 2012.
  2. W. Tepfenhart and J. Wang, “Towards true dynamic workflow for emergency response, International Journal on Software Informatics, vol. 6, no. 2, 307-325, 2012.
  3. 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
  4. 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
  5. 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.

  6. 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.

  7. 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.

  8. 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.

  9. 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.

  10. 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.

  11. 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.  

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

  13. 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.

  14. 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.

  15. 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.

  16. 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.

  17. 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.
  18. 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.
  19. 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.
  20. 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.
  21. J. Wang and Y. Deng, Incremental modeling and verification of flexible manufacturing systems, Journal of Intelligent Manufacturing, vol. 10, no. 6, 485-502, 1999.
  22. 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.
  23. 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.
  24. J. Wang and S. Jiang, Bottleneck analysis of stochastic Petri net models, Journal of Command and Control, vol. 22, no. 2, 1997
  25. J. Wang and Z. Huang, Calculation of hybrid state densities of cycle stochastic Petri nets, Journal of Southeast University, vol. 26, no. 6, 1996.
  26. 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.
  27. S. Jiang and J. Wang, Decomposition analysis based on generalized stochastic Petri nets, Journal of Southeast University, 25(3A), 1995.
  28. 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.
  29. J. Wang and Z. Huang, Time delay analysis for decision-making organizations, Journal of Command and Control, vol. 18, no.4, 1-5, 1993.
  30. 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.
  31. 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. 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.
  2. J. Wang and D. Li, “Resource modeling and analysis for workflows,” Proceedings of IEEE International Conference on Networking, Sensing and Control, Beijing, China, 2012.
  3. 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%)
  4. 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.

  5. 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.

  6. 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.

  7. 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.

  8. 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,

  9. 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.

  10. 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%)

  11. 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

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

  13. 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.

  14. 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

  15. 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%)

  16. 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

  17. 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.

  18. 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.

  19. 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.
  20. 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.
  21. 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.
  22. 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
  23. 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.
  24. 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.
  25. 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.
  26. 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.
  27. 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.
  28. 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.
  29. 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
  30. 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.
  31. 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.
  32. 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.
  33. 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.
  34. 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.
  35. 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:Saturday November 28, 2009