Modelling a railway crossing with message sequence charts and petri nets

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

Volumn 2472, Issue , 2003, Pages 197-218

  Kluge, Olaf ^a  

^a TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0346264918     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-40022-6_10     Document Type: Article

References (15)

1. H. Ben-Abdallah, S.Leue. Syntactic Detection of Process Divergence and non-Local Choice in Message Sequence Charts. University ofWaterloo Canada 1996. 213
2. [DDK99] W. Damm, G. Dhmen, J. Klose. Secure decentralized control of railway crossings. In: Proceedings of the Fourth International ERCIMWorkshop on Formal Methods in Industrial Critical Systems, 1999. 200, 201
3. H. Ehrig et. al., Integration von Techniken der Software Spezifikation für ingenieurwissenschaftliche Anwendungen, http://tfs.cs.tu-berlin.de/SPP/ index.html 1997. 198
4. [ETCS97] ETCS Phase I-Modellbildung, Simulation und Schnittstellenbetrachtung. Technische Universität Braunschweig, Institut für Regelungs-und Automatisierungstechnik. Projektdokumentation, 1997. 198
5. [GGR93] J. Grabowski, P.Graubmann, and E. Rudolph, Towards a Petri net based semantics definition for Message Sequence Charts, In O. Frgemand and A. Sarma, editors, SDL'93: Using Objects, Proceedings of the Sixth SDL Forum, pages 179-190, Darmstadt, 1993, Amsterdam, North-Holland. 204
6. [ITU98] ITU,Annex B to Recommendation Z.120: Message Sequence Charts (MSC), ITU Genral Secreteriat, 1998. 198, 203
7. [ITU99] ITU, MSC2000, Recommendation Z.120: Message Sequence Charts (MSC), ITU Genral Secreteriat, 1999. 197, 200
8. [Klo98] J. Klose, Sichere dezentrale Steuerung von Bahnübergä ngen, Diplomarbeit, Universit ät Oldenburg, 1998. 200, 201
9. [Klu00] O. Kluge. Time in Message Sequence Chart Specifications and How to Derive Stochastic Petri Nets. In: Proceedings of the Third International Workshop on Communication Based Systems (CBS3), Berlin, March 2000. 208
10. O. Kluge, J. Padberg H. Ehrig. Modeling Train Control Systems: From Message Sequence Charts to Petri Nets. In: FORMS 2000-Formale Techniken für die Eisenbahnsicherung, Fortsch.-Ber. VDI Reihe 12 Nr. 441. pages 25-42. Düsseldorf: VDI Verlag, 2000.
11. [MPS98] A. Muscholl, D. Peled and Z. Su. Deciding Properties for Message Sequence Charts. Proceedings of FoSSaCS'98, 1998. 208
12. [Mus99] A.Muscholl. Matching Specifications forMessage Sequence Charts. Proceedings of FoSSaCS'99, 1999. 208, 214
13. [PER94] J. Padberg, H. Ehrig and L. Ribeiro. Algebraic High-level net transformation systems. In: Mathematical Structures in Computer Science, vol.5, pp. 217-256, 1995. 204
14. [PJES99] J. Padberg, L. Jansen, H. Ehrig and E. Schnieder. Cooperability in Train Control Systems: Specification of Scenarios using Open Nets, Special Issue, Society for Design and Process Science (SDPS) '99, H. Ehrig, M. Goedicke, J. Padberg (eds.) 199
15. L. Jansen. Referenzfallstudie Verkehrsleittechnik http://www.ifra.ing.tu- bs.de/~m33/spezi 1997.