An m–net semantics for a real–time extension of μSDL

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

Volumn 1313, Issue , 1997, Pages 162-181

  Fleischhack, Hans ^a   Tapken, Josef ^a  

^a UNIVERSITY OF OLDENBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

MODEL CHECKING; PETRI NETS; SEMANTICS;

ANALYSIS METHOD; COMPOSITIONAL SEMANTICS; HIGH-LEVEL NETS; HIGH-LEVEL PETRI NETS; REAL TIME; TEMPORAL MODELING; TIME EXTENSIONS; TIMED PETRI NET;

FORMAL METHODS;

EID: 84947901283     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-63533-5_9     Document Type: Conference Paper

References (15)

1. P. Amthor, H. Fleischhack, and J. Tapken: MOB Y - more than a Tool for the Verification of SDL-Specifications, Research Paper, Universität Oldenburg, 1996.
2. F. Bause and P. Buchholz, Protocol Analysis Using a Timed Version of SDL, in J. Quemada, J. Mafias, and E. Vazquez (Eds.), Formal Description Techniques, III, pp. 269-285, North-Holland, 1991.
3. B. Berthomieu and M. Diaz, Modelling and Verification of Time Dependent Systerns Using Time Petri Nets, IEEE Transactions on Software Engineering, Volume 17/3, pages 259 - 273 (1991).
4. E. Best, Partial Order Verification with PEP, Report HIB 26/96, Universität Hildesheim, 1996.
5. E. Best, R. Devillers, and J. G. Hall. The box calculus: A New Causal Algebra With Multi-Label Communication. In G. Rozenberg, (Ed.), Advances in Petri Nets 92, Volume 609 of Lecture Notes in Computer Science, pages 21 - 69. Springer, 1992.
6. E. Best, H. Fleischhack, W. Fraczak, R. P. Hopkins, H. Klaudel, and E. Pelz. A Class of Composable High Level Petri Nets. In G. De Michelis and M. Diaz, (Eds.), Application and Theory of Petri Nets 1995, Volume 935 of Lecture Notes in Computer Science, pages 103-118. Springer, 1995.
7. E. Best, H. Fleischhack, W. Fraczak, R. P. H, Klaudel, and E. Pelz. An M-net Semantics of B(PN) 2. In J. Desel, (Ed.), Structures in Concurrency Theory, Workshops in Computing, Springer, 1995.
8. CCITT. Specification and Description Language, CCITT Z.100, International Consultative Committee on Telegraphy and Telephony, Geneva, 1992.
9. J. Esparza. Model Checking Using Net Unfoldings, Science of Computer Programruing, Volume 23, pages 151-195, Elsevier, 1994.
10. H. Fleischhack, and B. Grahlmann, Towards Compositional Verification of SDL Systems, Research Paper, 1997. (submitted)
11. B. Grahlmann and E. Best: PEP - More Than a Petri Net Tool. In T. Margaria and B. Steffen, (Eds.), Tools and Algorithms for the Construction and Analysis of Systems, Volume 1055 of Lecture Notes in Computer Science, pages 397-401, Springer, 1996.
12. J. Henriksen e.a., MONA: Monadic Second-Order Logic in Practice, in Brinksma, Cteaveland, Larsen, Margaria, and Steffen, (Eds.) TACAS '95, Tools and Algorithms for The Construction and Analysis of Systems, Volume 1019 of Lecture Notes in Computer Science, pages 89-110, Springer, 1995.
13. S. Leue, Specifying Real-Time Requirements for SDL Specifications - a Temporal Logic-Based Approach, Research Paper, University of Waterloo, Canada, 1996.
14. P. Merlin and D. Farber, Recoverability of Communication Protocols – Implication of a Theoretical Study, IEEE Transactions on Software Communications Vol. 24, 1036 - 1043 (1976).
15. L. Popova: On Time Petri Nets. Journal of Information Processing and Cybernetics, Volume 1055 of Lecture Notes in Computer Science, Springer, 1991.