List of Selected Publications from the Formal Methods research project:

• Journals
• Conferences

• Journals

  1. X. He and J.A.N. Lee: "Integrating Predicate Transition Nets with First Order Temporal Logic in the Specification and Verification of Concurrent Systems", Formal Aspects of Computing, vol.2, no.3, 1990, 226-246.
     
     
  2. X. He and J.A.N. Lee: "A Methodology for Constructing Predicate Transition Net Specifications", Software - Practice & Experience, vol. 21, no.8, 1991, 845-875.
     
     
  3. X. He: "Temporal Predicate Transition Nets - A New Formalism for Specifying and Verifying Concurrent Systems", International Journal of Computer Mathematics, vol.45, 1992, 171-184.
     
     
  4. C. Kan and X. He: "High Level Algebraic Petri Nets", Information and Software Technology, vol.37, no.1, 1995, 23-30.
     
     
  5. C. Kan and X. He: "Deriving Algebraic Petri Nets Specifications from Structured Analysis - A Case Study", Information and Software Technology, vol.37, no.8, 1995, 411-434.
     
     
  6. C. Kan and X. He: "A Method for Constructing Algebraic Petri Nets", Journal of Systems and Software, vol.35, 1996, 12-27.
     
     
  7. W. Yao and X. He: "Mapping Petri Nets to Concurrent Programs in CC++", Information and Software Technology, vol.39, 1997, 485-495
     
     
  8. X. He: "Translating Hierarchical Predicate Transition Nets into CC++ Programs", Information and Software Technology, vol.42, no.7, 2000, 475-488.
     
     
  9. X. He: "PZ Nets - A Formal Method Integrating Petri Nets with Z", Information and Software Technology, vol.43, 2001, 1-18.
     
     
  10. D. Xu, X. He, and Y. Deng: "Schedulability Analysis of Real-Time Systems Using Time Petri Nets", IEEE Transaction on Software Engineering, vol.28, no.10, 2002, 984-996.
      
      
  11. X. He, W. Chu, and H. Yang: "A New Approach to Verify Rule-Based Systems using Petri Nets", Information and Software Technology, vol.45, no.10, 2003, 663-670.
      
      
  12. J. Wang, Y. Deng and C. Jin, "Performance analysis of traffic control systems based upon stochastic timed Petri net models", International Journal of Software Engineering and Knowledge Engineering, Vol. 10, No. 6, 2000, 735-757.
      
      
  13. J. Wang, Y. Deng and M. Zhou, "Compositional Time Petri Nets and Reduction Rules", IEEE Transactions on System, Man and Cybernetics, Vol. 30, Part B, No. 4. August 2000.
      
      
  14. J. Wang, G. Xu and Y. Deng. "Reachability Analysis of Real Time Systems Based on Time Petri Nets", IEEE Transactions on System, Man and Cybernetics, Vol. 30, Part B, No.5, October 2000.
      
      
  15. X. He and T. Murata: "High-Level Petri Nets - Extensions, Analysis, and Applications", The Electrical Engineering Handbook (ed. Wai-Kai Chen), The Academic Press, 2004 (in press).
  
  

• Conferences

  1. X. He and Y. Ding: "A Temporal Logic Approach for Analyzing Safety Properties of Predicate Transition Nets", Proc. of the 12^th IFIP World Computer Congress, Madrid, Spain, 1992, 127-133.
     
     
  2. X. He and C.H. Yang: "Structured Analysis Using Hierarchical Predicate Transition Nets", Proc. of the 16^th Int'l Computer Software and Applications Conf. (COMPSAC'92), Chicago, 1992, 212-217.
     
     
  3. X. He: "A Method for Analyzing Properties of Hierarchical Predicate Transition Nets", Proc. of the 19^th Annual International Computer Software and Applications Conference (COMPSAC'95), Dallas, TX, August, 1995, 50-55.
     
     
  4. X. He: "A Formal Definition of Hierarchical Predicate Transition Nets", Lecture Notes in Computer Science, vol. 1091, Osaka, Japan, 1996, 212-229.
     
     
  5. X. He: "Transformations on Hierarchical Predicate Transition Nets: Abstractions and Refinements", Proc. of the 22^nd International Computer Software and Application Conference (COMPSAC'98), Vienna, Austria, 1998, 164-169.
     
     
  6. S. Lewandowski and X. He: "A Java Framework for Implementing Hierarchical Predicate Transition Nets", Proc. of the 10^th International Conference on Software Engineering and Knowledge Engineering (SEKE'98), San Francisco, 1998, 261-268.
     
     
  7. S. Lewandowski and X. He: "Automating the Generation of Code for A Hierarchical Predicate Transition Net Based Design", Proc. of the 12^th International Conference on Software Engineering and Knowledge Engineering, Chicago, July, 2000, 15-22.
     
     
  8. X. He and Y. Ding: "Object Orientation in Hierarchical Predicate Transition Nets", Advances in Petri Nets, Lecture Notes in Computer Science, vol.2001, 2001.