A formal definition of hierarchical predicate transition nets

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1091, Issue , 1996, Pages 212-229

  He, Xudong ^a  

^a North Dakota State University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

PETRI NETS; SEMANTICS;

ALGEBRAIC SEMANTIC; COMPLEX REACTIVE SYSTEMS; FORMAL DEFINITION; FORMAL REASONING; FORMAL SYNTAXES; HIERARCHICAL STRUCTURES; TRANSITION NETS; VISUAL FORMALISM;

HIERARCHICAL SYSTEMS;

EID: 84957711411     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61363-3_12     Document Type: Conference Paper

References (22)

1. J. Billington, G.R. Wheeler, and M.C. Wilbur-ham, PROTEAN: a high-level Petri net tool for the specification and verification of communication protocols. IEEE Transactions on Software Engineering, vol.14, no.3, 1988, 301-316.
2. H. Ehrig and B. Mahr, Fundamentals of Algebraic Specification 1, Springer-Verlag, 1985.
3. H. Ehrig and B. Mahr, Fundamentals of Algebraic Specification 2, Springer-Verlag, 1990.
4. R. Fehling, A concept of hierarchical Petri nets with building blocks, Lecture Notes inComputer Science, vol. 674, 1993, 148-168.
5. HJ. Genrich, and K. Lautenbach, System modeling with high-level Petri nets. Theoretical Computer Science, vol.13, 1981, 109-136.
6. D. Harel, On visual formalisms. Communications of the ACM, vol. 31, 1988, 514-530.
7. X. He, Integrating formal specification and verfication methods in software development, Ph.D. dissertation, Virginia Polytechnic Institute & State University, June, 1989.
8. X. He, A method for analysing properties of hierarchical predicate transition nets, Proceedings of the 19th Annual international Computer Software & Applications Conference (COMPSAC'95), Dallas, TX, August, 1995, 50-55.
9. D. Harel, and C.-A. Kahana, On statecharts with overlapping. ACM Transactions onSoftware Engineering and Methodology, vol.l, no.4, 1992, 399-421.
10. X. He, and J.A.N. Lee, A methodology for constructing predicate transition net specifications. Software - Practice and Experience, vol.21, no.8, 1991, 845-875.
11. X. He, and C.H. Yang, Structured analysis using hierarchical predicate transition nets. Proc. of the 16th Int'l Computer Software and Applications Conference (COMPSAC'92), Chicago, 1992, 212-217.
12. P. Huber, K. Jensen, and R.M. Shapiro, Hierarchies in colored Petri nets. Lecture Notes in Computer Science, vol.483, Spriner-Verlag, 1990, 313-341.
13. K. Jensen, Colored Petri nets and the invariant method. Theoretical Computer Science, vol. 14, 1981, 317-336.
14. K. Jensen, Colored Petri nets: a high level language for system design and analysis, Lecture Notes in Computer Science, vol. 483, 1990, 342-416.
15. K. Jensen, Colored Petri Nets, vol.l, Springer-Verlag, 1992.
16. C. Kan and X. He, High-level algebraic Petri nets, Information and Software Technology, vol.37, no.l, 1995, 23-30.
17. Z. Manna and A. Pnueli, Completing the temporal picture, Theoretical Computer Science, vol. 83, pp.97-130, 1991.
18. Z. Manna and A. Pnueli, Models for reactivity, Acta Informatica, vol.30, pp.609- 678, 1993.
19. W. Reisig, Petri Nets - An Introduction. EATCS Monographs on Theoretical Computer Science, vol.4, Springer-Verlag, 1985.
20. W. Reisig, Petri nets in software engineering. Lecture Notes in Computer Science, vol.255, Springer-Verlag, 1987, 63-96.
21. W. Reisig, Petri nets and algebraic specifications. Theoretical Computer Science, vol. 80, 1991, 1-34.
22. E. Yourdon, Modern Structured Analysis, Yourdon Press, 1989.