Rewriting logic and elan: Prototyping tools for petri nets with time

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

Volumn 2075, Issue , 2001, Pages 363-381

  Steggles, L Jason ^a  

^a NEWCASTLE UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; COMPUTER CIRCUITS; SEMANTICS;

ALGEBRAIC SPECIFICATIONS; DYNAMIC BEHAVIOURS; PROTOTYPING TOOLS; REWRITE RULES; REWRITING LOGIC; TIME EXTENSIONS; TIME INTERVAL; TIME PETRI NETS;

PETRI NETS;

EID: 84947225311     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45740-2_21     Document Type: Conference Paper

References (22)

1. T. Aura and J. Lilius. Time Processes for Time Petri Nets. In: 18th Int. Conf. on App. and Theory of Petri Nets, LNCS 1248, pages 136-155, Springer-Verlag, 1997.
2. B. Berthomieu and M. Diaz. Modeling and Verification of Time Dependent Systems using Time Petri Nets. IEEE Trans. on Software Engineering, 17(3): 259-273, 1991.
3. E. Best and B. Grahlmann. PEP - more than a Petri Net Tool. In: T. Margaria and B. Steffen (eds), Proc. of TACAS'96: Tools and Algorithms for the Construction and Analysis of Systems, LNCS 1055, pp. 397-401, Springer-Verlag, 1996.
4. I. I. Bestuzheva and V. V. Rudnev. Timed Petri Nets: Classification and Comparative Analysis. Automation and Remote Control, 15(10): 1303-1318, 1990.
5. P. Borovanský. The Control of Rewriting: Study and Implementation of a Strategy Formalism. In: C. Kirchner and H. Kirchner (eds), Proceedings of WRLA '98, Electronic Notes in Theoretical Computer Science, Vol. 15, 1998.
6. P. Borovanský, C. Kirchner, H. Kirchner, P.-E. Moreau and M. Vittek. ELAN: A Logical Framework Based on Computational Systems. In: J. Meseguer (ed), Proceedings of WRLA'96, Electronic Notes in Theoretical Computer Science, Vol. 4, 1996.
7. P. Borovanský, C. Kirchner, H. Kirchner, P.-E. Moreau and C. Ringeissen. An overview of ELAN In: C. Kirchner and H. Kirchner (eds), Proceedings of WRLA '98, Electronic Notes in Theoretical Computer Science, Vol. 15, 1998.
8. P. Borovanský, H. Cirstea, H. Dubois, C. Kirchner, H. Kirchner, P.-E. Moreau, C. Ringeissen and M. Vittek. ELAN: User Manual. December, 1998. Available from: http://elan.loria.fr.
9. Diaconescu, R., Futatsugi, K., Ishisone, M., Nakagawa, A. T. and Sawada, T. An Overview of Cafe Obj. In: C. Kirchner and H. Kirchner (eds), Proceedings of WRLA '98, Electronic Notes in Theoretical Computer Science, Vol. 15, 1998.
10. H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification 1 - Equations and Initial Semantics. EATCS Monographs on Theoretical Computer Science 6. Springer-Verlag, Berlin, 1985.
11. J. Loeckx, H-D. Ehrich and M. Wolf. Specification of Abstract Data Types. Wiley, 1996.
12. P. Merlin and D. J. Faber. Recoverability of communication protocols. IEEE Transactions on Communications, COM- 24(9): 1036-1049, 1976.
13. J. Meseguer. Conditional rewriting logic as a unified model of concurrency. Theoretical Computer Science, 96: 73-155, 1992.
14. J. Meseguer and U. Montanari. Petri nets are monoids. Information and Computation, 88: 105-155, 1990.
15. T. Murata. Petri nets: properties, analysis and applications. Proceedings of the IEEE, 77(4): 541-580, 1989.
16. J. L. Peterson. Petri Nets. Computing Surveys, 9(3): 223-252, 1977.
17. C. Ramchandani. Analysis of asynchronous concurrent systems by timed Petri nets. Project MAC Technical Report MAC-TR-120, Massachusetts Institute for Technology, Cambridge MA, 1974.
18. W. Reisig. Petri nets - an introduction. EATCS Monographs in Theoretical Computer Science, 4, Springer-Verlag, 1985.
19. P. Starke. A Memo on Time Constraints in Petri Nets. Informatik-Bericht Nr. 46, Institut für Informatik, Humboldt Universität, Berlin, 1995.
20. L. J. Steggles. Prototyping and Analysing Petri Nets with time: A Formal Investigation using Rewriting Logic and Elan. Technical Report No. 722, Department of Computing Science, University of Newcastle upon Tyne, 2001.
21. B. Walter. Timed Petri-Nets for Modelling and Analyzing Protocols with Real-Time Characteristics. In: H. Rudin and C. H. West (eds), Protocol Specification, Testing and Verification III, North-Holland, 1983.
22. W. M. Zuberek. Timed Petri Nets: Definitions, Properties and Applications. Microelectronics and Reliability, 31(4): 627-644, 1991.