Translating hierarchical predicate transition nets to CC++ programs

Information and Software Technology

Volumn 42, Issue 7, 2000, Pages 475-488

  He, X ^a  

^a The Department of Electrical and Computer Engineering   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

C (PROGRAMMING LANGUAGE); COMPUTATIONAL LINGUISTICS; OBJECT ORIENTED PROGRAMMING; PETRI NETS; SET THEORY; SOFTWARE ENGINEERING;

HIERARCHICAL PREDICATE TRANSITION NETS; PREDICATE TRANSITION NETS; TRANSLATION ARCHITECTURE; TRANSLATION RULES;

TRANSLATION (LANGUAGES);

EID: 0033743657     PISSN: 09505849     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0950-5849(99)00103-2     Document Type: Article

References (16)

1. Arnold K., Gosling J. The Java Programming Language. 2 :1997;Addison-Wesley, Reading, MA.
2. Bruno G., Marchetto G. Process-translatable Petri nets for the rapid prototyping of process control systems. IEEE Transactions On Software Engineering. SE-12:(2):1986;346-357.
3. Chandy K., Kesselman C. CC++: a declarative concurrent object-oriented programming notation. Agha G., Wegner P., Yonezawa A. Research Directions in Concurrent Object-Oriented Programming. 1993;281-313 MIT Press, Cambridge, MA.
4. Foster I. Designing and Building Parallel Programs. 1995;Addison-Wesley, Reading, MA.
5. X. He, Y. Ding, Object-oriented specification using hierarchical predicate transition nets, The Proceedings of the Second Workshop on Object-oriented Programming and Models of Concurrency, Osaka, Japan, June 1996, pp. 72-79.
6. X. He, Formal definition of hierarchical predicate transition nets, The Proceedings of 17th International Conference on Application & Theory of Petri Nets, Osaka, Japan, 1996, pp. 212-229.
7. He X., Lee J.A.N. A methodology for constructing predicate transition net specifications. Software - Practice and Experience. 21:(8):1991;845-875.
8. X. He, W. Yoa, Translating hierarchical predicate transition nets into CC++ program skeletons, Proceedings of the 21st International Computer and Software Conference, Washington, DC, August 1997, pp. 64-69.
9. Kan C., He X. High-level algebraic Petri nets. Information and Software Technology. 37:(1):1995;23-30.
10. S. Lewandowski, X. He, Java framework for implementing hierarchical predicate transition nets, Proceedings of the 10th International Conference on Software Engineering and Knowledge Engineering, San Francisco, CA, June 1998, pp. 261-268.
11. Nelson R., Haibat L., Sheridan P. Casting Petri nets into programs. IEEE Transactions on Software Engineering. SE-9:(5):1983;590-602.
12. Stroustrup B. The C++ Programming Language. 2 :1991;Addison-Wesley, Reading, MA.
13. Taubner D. On the implementation of Petri nets. Advances in Petri nets 1988. LNCS 340:1988;418-439.
14. Yao W., He X. Mapping Petri nets to concurrent programs in CC++. Information and Software Technology. 39:1997;485-495.
15. K. Jensen, Coloured Petri nets - Basic Concepts, vol. 1, Springer-Verlag, 1992.
16. X. He, A method for analyzing properties of hierarchical predicate transition nets, Proceedings of the 19th Annual International Computer Software and Applications Conference, Dallas, TX, August, 1995, 50-55.