Author:
Jiao Li,Cheung To-Yat,Lu Weiming
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. Murata, T.: Petri Nets: Properties, Analysis, and Applications. Proceedings of the IEEE, Vol. 77, No. 4 (1989) 541–580: The Stanford Digital Library Metadata Architecture. Int. J. Digit. Libr. 1 (1997) 108-121.
2. Esparza, J.: Reduction and Synthesis of Live and Bounded Free Choice Petri Nets. Information and Computation, Vol. 114, No. 1 (1994) 50–87.
3. Mak, W. M.: Verifying Property Preservation for Component-Based Software Systems (A Petri-net Based Methodology). PhD Thesis, Dept. of Computer Science, City University of Hong Kong, June 2001.
4. Suzuki, I. and Murata, T.: A Method for Stepwise Refinement and Abstraction of Petri Nets. Journal of Computer and System Sciences, Vol. 27 (1983) 51–76.
5. Cheung, T. Y. and Zeng, W.: Invariant-preserving Transformations for the Verification of Place/Transition Systems. IEEE Transactions on Systems, Man and Cybernetics-Part A: Systems and Humans, Vol. 28, No. 1 (1998) 114–121.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献