An improved translation of SA/RT specification model to high-level timed petri nets

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

Volumn 1051, Issue , 1996, Pages 518-537

  Shi, Lihua ^a   Nixon, Patrick ^b  

^a MANCHESTER METROPOLITAN UNIVERSITY   (United Kingdom)

^b TRINITY COLLEGE DUBLIN   (Ireland)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL METHODS; INTERACTIVE COMPUTER SYSTEMS; PETRI NETS; SEMANTICS; SPECIFICATION LANGUAGES; SPECIFICATIONS; SYSTEMS ANALYSIS;

AUTOMATIC TRANSLATION; COMPOSITIONAL ANALYSIS; EXPONENTIAL COMPLEXITY; HIGH-LEVEL TIMED PETRI NETS; MODULAR DEVELOPMENT; SIMULATION AND ANALYSIS; SPECIFICATION MODELING; SPECIFICATION MODELS;

REAL TIME SYSTEMS;

EID: 84955571858     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-60973-3_105     Document Type: Conference Paper

References (20)

1. C. Bellettini, M. Felder, and M. Pezzé. A Tool for Analysing High-Level Timed Petri Nets. Technical Report IPTES-PDM-41-V2.0, Polltecnico di Milano, 1993.
2. L. Bernardinello and F. De Cindio. A Survey of Basic Net Models and Modular Net Classes. In LNCS 609: Advances in Petri nets, pages 304-351. 1992.
3. Wilfried Brauer, Robert Gold, and Walter Vogler. A survey of behaviour and equivalence preserving refinements of Petrl Nets. LNCS, 483:1-46, 1990.
4. R. Elmstrøm, R. Lintulampi, and M. Pezzé. Giving semantics to SA/RT by means of hlgh-level timed Petri nets. Real-Time Systems Journal, 5(2-3):249-271, May 1993.
5. R. ElmstrCm, R. Lintulampi, and M. Pezzé. Automatic translation of SA/RT to high-level timed Petri nets. Technical Report IPTES-PDM-17-V2.3, Jan 1994.
6. M. Felder, C. Ghezzi, and M. Pezzé. Hierarchical Decomposition of High Level Timed Petri Nets. Technical Report IPTES-PDM-54-V2.0, Politecnico di Milano, Dec 1993.
7. C. Ghezzi, D. Mandrioli, S. Marasca, and M. Pezzé. A unified high-level Petri net formalism for time-critical systems. IEEE SE, 17(2):160-172, Feb. 1991.
8. D. Harel, H. Lachover, A. Naamad, A. Pnueli, M. Politi, R. Sherman, and M. Trachtenbrot. STATEMATE: A working environment for the development of complex reactive systems. IEEE SE, 16(4):403-414, Apr. 1990.
9. D. J. Harley and I. A. Pirbhal. Strategies for Real Time Specifications. New York, Dorset House, 1987.
10. P. Huber, K. Jensen, and R. M. Shapiro. Hierarchies in coloured Petri nets. LNCS, 483:313-341, 1990.
11. J. S. Ostroff. Formal methods for the specification and design of real-time safety critical systems. The journal of Systems and Software, pages 33-60, April 1992.
12. J. Peleska, C. Huizing, and C. Petersohn. A Comparison of Ward and Mellor's Transformation Schema with STATE-and ACTIVITYCHARTS. Technical report, Christian-Albrechts-Univerdity Kiel, 1993.
13. Gernot Richter and Bruno Malteo. Toward a Rigorous Interpretation of ESMLExtended Systems Modeling Language. IEEE-SE, 19(2):165-180, Feb 1993.
14. W. Rruyn, R. Jensen, D. Keskar, and P. Ward. ESML: An extended systems modeling language based on the data flow diagram. A CM SIGSOFT, Software Engineering Notes, 13(1):58-67, Jan. 1988.
15. J. Rushby. Formal Methods and the Certification of Critical Systems. Technical report, ACAA, Dec. 1993.
16. L. Shi. Uniting formal and structured design methods for real-time systems. Transfer report, Department of Computing, Manchester Metropolitan University, 1995.
17. W. M. P. van tier Aalst. Interval Timed Coloured Petri Nets and their Analysis. In LNCS 691: Application and Theory of Petri nets, pages 453-472. 1993.
18. P. Ward and S. Mellor. Structured Development for Real-Time Systems, volume 1-3. New Jersey: Prence Hall, 1985.
19. Paul T. Ward. The transformation schema: an extension of the data flow diagram to represent control and timing. IEEE SE, 12(2):198-210, Feb 1986.
20. D. P. Wood and W. G. Wood. Comparative Evaluations of Specification Methods for Real-Time Systems. Technical report, SEI, CMU, Dec 1989.