Publications: (Last update: 05/10/2000)

 

 

Book:

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

 

Book Chapters:

  1. Jiacun Wang, Shengbing Jiang, Stochastic Petri net models of communication and flexible systems, in: Petri Nets in Flexible and Automation, Ed: M. Zhou, Kluwer Academic Publishers, 1995.
  2. Jiacun Wang, Time delay analysis of semi-Markov stochastic Petri net models, in: Robotics and Flexible Manufacturing Systems, Elsevier Science Publishers B. V., 1992.

 

Back To Top

 

Journal Articles:

  1. Jiacun Wang, Yi Deng and Mengchu Zhou. Compositional time Petri nets and reduction rules, IEEE Transactions on Systems, Man and Cybernetics, vol. 30, Part B, no. 4, August 2000.
  2. Jiacun Wang, Gang Xu and Yi Deng. Reachability analysis of real time systems based on time Petri nets, IEEE Transactions on Systems, Man and Cybernetics, vol. 30, Part B, no. 5, October 2000.
  3. Jiacun Wang, Xudong He and Yi Deng. Introducing software architecture specification and analysis in SAM through an example, Information and Software Technology, vol. 41, no. 7, 451-467, 1999.
  4. Yi Deng and Jiacun Wang, Integrated architectural modeling and analysis for high-assurance command and control system design, Annals of Software Engineering, vol.7, 47-70, 1999.
  5. Jiacun Wang and Yi Deng, Incremental modeling and verification of flexible manufacturing systems, Journal of Intelligent Manufacturing, vol. 10, no. 6, 485-502, 1999.
  6. Jiacun Wang, Mengchu Zhou and Yi 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.
  7. Jiacun Wang and Shengbing 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.
  8. Jiacun Wang and Shengbing Jiang, Bottleneck analysis of stochastic Petri net models, Journal of Command and Control, vol. 22, no. 2, 1997
  9. Jiacun Wang, Zhitong Huang , Calculation of hybrid state densities of cycle stochastic Petri nets, Journal of Southeast Unierdity, vol. 26, no. 6, 1996.
  10. Zhitong Huang, Jiacun Wang, Calculation of hybrid state densities of acyclic stochastic Petri nets, Journal of Southeast Unierdity, vol. 25, no.5A, 165-168, 1995.
  11. Shengbing Jiang, Jiacun Wang, Decomposition analysis based on generalized stochastic Petri nets, Journal of Southeast University, 25(3A), 1995.
  12. Zhitong Huang, Jiacun Wang, Hybrid state analysis method of non-Markovian stochastic Petri net models, Chinese Journal of Automation, Alleron Press, Inc., vol. 7, no. 1, 1995.
  13. Jiacun Wang, Zhitong Huang, Time delay analysis for decision-making organizations, Journal of Command and Control, vol. 18, no.4, 1-5, 1993.
  14. Jiacun Wang, Zhitong 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.
  15. Zhitong Huang, Jiacun 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.

 

Back To Top

 

Conference Papers:

  1. Jiacun Wang, Gang Xu and Yi Deng. Reduction rules for components in SAM, Proceedings of Fifth International Conference on Integrated Design and Process Technology, Dallas, 2000.
  2. Jiacun Wang, Chun Jin and Yi 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.
  3. Jiacun Wang, Chun Jin and Yi 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.
  4. Yi Deng, Jiacun 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
  5. Jiacun Wang and Yi 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.
  6. Yi Deng, Jiacun Wang, and Rahesh 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.
  7. Jiacun Wang, Yi 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.
  8. Yi Deng and Jiacun 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.
  9. Roopali S. Paranjpe, Mengchu Zhou, and Jiacun 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.
  10. Jiacun Wang and Mengchu Zhou, On Information Processing Capacity of anti-aircraft tactic command and control systems. Proceedings of IEEE Conference on System, Man, and Cybernetics, Orlando. 1997.
  11. Jiacun Wang, Zhitong Huang, GSPN models for survivability of multimedia communication networks, Proc. of the 1st Int. Conf. on Electronics and information Technology, Beijing, 1994
  12. Zhitong Huang, Jiacun Wang, Mengchu Zhou, Hybrid state analysis method in stochastic Petri nets, Proc. of the IEEE Conf. on System, Man, and Cybernetics, USA,992-997, 1992.
  13. Jiacun Wang, Zhigang Wang, Hierarchical models for time delay of command and control systems, Proc. of the IFAC Symp. on Large Scale Systems, Beijing, 541-546, 1992.
  14. Jiacun Wang, Zhitong 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.
  15. Jiacun Wang, Zhitong Huang, Stochastic Petri net model of an assemble line, Proc. of the 11th Int. Congress of Production Research, Hefei, China, 1991.
  16. Jiacun 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.
  17. Zhitong Huang, Jiacun Wang, A new method for time delay analysis of stochastic Petri net models, Proc. of the IFAC Workshop on DES, Shengyang, China, 1991.

 

Back To Top