A method for constructing algebraic Petri nets

Journal of Systems and Software

Volumn 35, Issue 1, 1996, Pages 15-27

  Kan, Chieh Ying ^a   He, Xudong ^a  

^a North Dakota State University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; CONCURRENT ENGINEERING; DATA STRUCTURES; DECISION THEORY; DISTRIBUTED COMPUTER SYSTEMS; INTEGRATION; MATHEMATICAL MODELS;

ALGEBRAIC PETRI NETS; DATA DICTIONARY; DATA FLOW DIAGRAMS; DECISION TABLE ANALYSIS; POWERFUL FORMAL METHOD;

PETRI NETS;

EID: 0030271076     PISSN: 01641212     EISSN: None     Source Type: Journal    
DOI: 10.1016/0164-1212(95)00081-X     Document Type: Article

References (14)

1. Bowen, J. P., and Hinchey, M. G., Seven More Myths of Formal Methods, IEEE Software 12(4), 34-41 (1995).
2. Ehrig, H., and Mahr, B., Fundamentals of Algebraic Specification, 1: Equations and Initial Semantics, Springer-Verlag, 1985.
3. Felder, M., Mandrioli, D., and Morzenti, A., Proving Properties of Real-Time Systems Through Logical Specifications and Petri Net Models, IEEE Trans. Software Eng. 20, 127-141 (1994).
4. Fraser, M. D., Kumar, K., and Vaishnavi, V. K., Informal and Formal Requirements Specification Languages: Bridging the Gap, IEEE Trans. Software Eng. 17, 454-466 (1991).
5. Fraser, M. D., Kumar, K., and Vaishnavi, V. K., Strategies for Incorporating Formal Specifications in Software Development, Commun. ACM 37, 74-86 (1994).
6. Genrich, H. J., Predicate Transition Nets (Lecture Notes in Computer Science, vol. 254), Springer-Verlag, 1987, pp. 205-247.
7. He, X., and Lee, J. A. N., Integrating Predicate Transition Nets with First Order Temporal Logic in the Specification and Verification of Concurrent Systems, Formal Aspect. Comp. 2, 226-246 (1990).
8. He, X., and Yang, C. H., Structured analysis using hierarchical predicate transition nets, in Proceedings of the 16th International Computer Software and Applications Conference, Chicago, 1992, pp. 212-217.
9. Jensen, K., Coloured Petri Nets (Lecture Notes in Computer Science, vol. 254), Springer-Verlag, 1987, pp. 248-299.
10. Kan, C., and He, X., High level algebraic Petri nets, Inform. Software Technol. 36, 23-30 (1995).
11. Kramer, B., Introducing the GRASPIN specification languages SEGRAS, J. Syst. Software 15, 17-31 (1991).
12. Reisig, W., Petri nets and algebraic specifications, Theoret. Comp. Sci. 80, 1-34 (1991).
13. Vautherin, J., Parallel Systems Specifications with Coloured Petri Nets and Algebraic Specifications (Lecture Notes in Computer Science, vol. 266), Springer-Verlag, 1987, pp. 293-308.
14. Yourdon, E., Modern Structured Analysis, Prentice-Hall, 1989.