Translating TPAL specifications into timed-arc petri nets

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

Volumn 2360 LNCS, Issue , 2002, Pages 414-433

  Valero, Valentin ^a   Pardo, Juan Jose ^a   Cuartero, Fernando ^a  

^a UNIVERSITY OF CASTILLA LA MANCHA   (Spain)

Author keywords

Relationships between net theory and other approaches; Timed nets and timed process algebras

Indexed keywords

ALGEBRA; SPECIFICATION LANGUAGES; SPECIFICATIONS; TRANSLATION (LANGUAGES); COMPUTATIONAL LINGUISTICS;

ALGEBRAIC LANGUAGES; ALGEBRAIC SPECIFICATION LANGUAGES; AUTOMATIC TRANSLATION; CONCURRENT SYSTEMS; RELATIONSHIPS BETWEEN NET THEORY AND OTHER APPROACHES; SOFTWARE DESIGNERS; TIMED PROCESS ALGEBRA; TIMED-ARC PETRI NETS;

PETRI NETS;

EID: 53049087365     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48068-4_24     Document Type: Conference Paper

References (22)

1. W. M. P. van der Aalst. Interval Timed Coloured Petri Nets and their Analysis. Lecture Notes in Computer Science, vol. 691, pp. 451-472. 1993. 415
2. W. M. P. van der Aalst and M. A. Odijk. Analysis of Railway Stations by Means of Interval Timed Coloured Petri Nets. Real-Time Systems, vol. 9, pp. 241-263. 1995. 415
3. Parosh A. Abdulla and Aletta Nylén. Timed Petri Nets and BQOs. Proc. 22nd International Conference on Theory and Application of Petri Nets. Lecture Notes in Computer Science, vol. 2075, pp. 53-70. 2001. 415, 419
4. M. Ajmone Marsan, G. Balbo, A. Bobbio, G. Chiola, G. Conte and A. Cumani. On Petri Nets with Stochastic Timing. Proc. of the International Workshop on Timed Petri Nets, IEEE Computer Society Press, pp. 80-87. 1985. 415
5. E. Best, R. Devillers, J. Hall. The Petri Box Calculus: A New Causal Algebra with Multi-label Communication. Advances in Petri Nets, 1992. Lecture Notes in Computer Science, vol. 609, pp. 21-69. 1992. 414
6. T. Bolognesi, F. Lucidi and S. Trigila. From Timed Petri Nets to Timed LOTOS. Proceedings of the Tenth International IFIP WG6.1 Symposium on Protocol Specification, Testing and Verification. North-Holland, 1990. 415
7. Fred D. J. Bowden. Modelling time in Petri nets. Proc. Second Australia-Japan Workshop on Stochastic Models. 1996. 415
8. Antonio Cerone and Andrea Maggiolo-Schettini. Time-based expressivity of time Petri nets for system specification. Theoretical Computer Science (216)1-2, pp. 1-53. 1999. 415
9. D. de Frutos, V. Valero and O. Marroqun. Decidability of Properties of Timed-Arc Petri Nets. Proc. ICATPN 2000, Lecture Notes in Computer Science, vol. 1825, pp. 187-206. 2000. 419
10. U. Goltz. On representing CCS programs by finite Petri nets. MFCS, Lecture Notes in Computer Science, vol. 324 (1988), 339-350. 414
11. Hans-Michael Hanisch. Analysis of Place/Transition Nets with Timed-Arcs and its Application to Batch Process Control. Application and Theory of Petri Nets, LNCS vol. 691, pp:282-299. 1993. 415
12. P. Merlin. A Study of the Recoverability of Communication Protocols. PhD. Thesis, Univ. of California. 1974. 415
13. F. Moller and C. Tofts. A Temporal Calculus of Communicating Systems. CONCUR' 90 Lecture Notes in Computer Science, vol. 458, pp. 401-415. 1990. 415, 419
14. J. Pardo, V. Valero, F. Cuartero and D. Cazorla. Automatic Translation of TPAL specifications into Dynamic State Graphs. To appear in the proc. of APSEC'01, IEEE Computer Society Press. 2001. 415, 416
15. C. Ramchandani. Performance Evaluation of Asynchronous Concurrent Systems by Timed Petri Nets. PhD. Thesis, Massachusetts Institute of Technology, Cambridge. 1973. 415
16. G. M. Reed and A. W. Roscoe. Metric Spaces as Models for Real-Time Concurrency. Mathematical Foundations of Programming. Lecture Notes in Computer Science, vol. 298, pp. 331-343. 1987. 415, 419
17. J. Sifakis. Use of Petri Nets for Performance Evaluation. Proc. of the Third International Symposium IFIP W. G.7.3., Measuring, Modelling and Evaluating Computer Systems. Elsevier Science Publishers, pp. 75-93. 1977. 415
18. Dirk Taubner. Finite Representations of CCS and TCSP Programs by Automata and Petri Nets. Lecture Notes in Computer Science, vol. 369. 1989. 414
19. V. Valero, D. de Frutos and F. Cuartero. On Non-decidability of Reachability for Timed-Arc Petri Nets. Proc. 8th Int. Workshop on Petri Nets and Performance Models, PNPM'99, pp. 188-196. 1999. 415, 419
20. V. Valero, D. de Frutos, and F. Cuartero. Decidability of the Strict Reachability Problem for TPN's with Rational and Real Durations. Proc. 5th. International Workshop on Petri Nets and Performance Models, pp. 56-65. 1993. 415
21. B.Walter. Timed Petri-Nets for Modelling and Analysing Protocols with Real-Time Characteristics. Proc. 3rd IFIP Workshop on Protocol Specification, Testing and Verification, North-Holland. 1983. 415
22. Wang Yi. A Calculus of Real Time Systems. PhD. Thesis, Chalmers University of Technology. 1991. 415, 419