1. L. Jiao, “Refining and verifying regular Petri nets”, International Journal of System Science, Volume 39, Issue 1, January 2008 , pp. 17 – 27, Taylor & Francis.
2. X. Huang, L. Jiao and W. Lu, “What semantic equivalences are suitable for non-Interference properties in computer security”, ICICS07. LNCS4861, pp.334-349.
3. X. Huang, L. Jiao and W. Lu, “A semantic preorder on refinement and fairness”, 1st IEEE & IFIP International Symposium on Theoretical Aspects of Software Engineering, TASE07, Shanghai, China, pp.139-148.
4. L. Jiao and T. Cheung, “Compositional verification for workflow nets”. Journal of Circuits, Systems and Computers，Vol. 15, No. 4, pp.551-570, 2006. World Scientific.
5. L. Jiao, T. Cheung and W. Lu, “Handling synchronization problem in Petri-net-based system design by property-preserving transition-reduction”. The Computer Journal, Vol.48, No. 6, pp.692-701, 2005.
6. L. Jiao, H. Huang and T. Cheung, “Property-preserving composition by place merging”. Journal of Circuits, Systems and Computers, Vol. 14, No. 4, pp. 793-812, 2005.
7. H. Huang, L. Jiao and T. Cheung, “Property-preserving subnet reductions for designing manufacturing systems with shared resources”. Theoretical Computer Science, Vol. 332(1-3), pp. 461-485, 2005.
8. L. Jiao, T. Cheung and W. Lu, “On liveness and boundedness of asymmetric choice nets”, Theoretical Computer Science, Vol. 311(1-3), pp.165-197, 2004.
9. L. Jiao and T. Cheung, “Characterizing liveness monotonicity for weighted Petri nets in terms of siphon-based properties”, International Journal of Foundations of Computer Science, Vol. 14, No. 4, pp.641-658, 2003.
10. H. Huang, L. Jiao and T. Cheung, “Property-preserving composition of augmented marked graphs that share common resources”, Proceedings of 2003 IEEE International Conference on Robotics and Automation, pp. 1446-1451, Taipei, Taiwan, September 14-19, 2003.
11. L. Jiao, T. Cheung and W. Lu, “Characterizing liveness of Petri nets in terms of siphons”, Proceedings of 23rd International Conference of Application and Theory of Petri Nets, ICATPN 2002, Adelaide, Australia, June 2002, LNCS 2360, pp.203-216. |
