Publisher
Springer Science and Business Media LLC
Subject
Computational Theory and Mathematics,Computer Science Applications,Hardware and Architecture,Theoretical Computer Science,Software
Reference11 articles.
1. Hong Jang-Eui, Bae Doo-Hwan. Software modeling and analysis using a hierarchical object-oriented Petri net.Information Sciences, 2000, 130: 133–164.
2. Vasilis C Gerogianniset al Comparative study and categorization of high-level Petri nets.Journal of System and Software, 1998, 43: 133–160.
3. Chongyi Yuan Petri Net Theory. Publishing House of Electronic Industry, Beijing, 1998.
4. K Mani Chandy, Jayadev Misra. Parallel Program Design. A Foundation, Addison-Wesley, 1989.
5. Michel Charpentier, Gerard Padiou. Specification and Verfication of the ATMR Protocol using UNITY. InInternational Workshop on Formal Methods for Parallel Programming: Theory and Application, University of Geneva, Switzerland, April, 1997, pp.26–36.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献