Specification and validation of a concurrent system: An educational project

International Journal on Software Tools for Technology Transfer

Volumn 3, Issue 4, 2001, Pages 372-381

  Berthelot, Gerard ^a   Petrucci, Laure ^b  

^a CEDRIC   (France)

^b CNRS   (France)

Author keywords

Coloured Petri nets; Education; Specification; Verification

Indexed keywords

COLOURED PETRI NETS; CONCURRENT SYSTEMS; EDUCATIONAL PROJECTS; REACTIVE SYSTEM; SWITCH CONTROL;

EDUCATION; PETRI NETS; RAILROADS; SPECIFICATIONS; STUDENTS; VERIFICATION;

EDUCATION COMPUTING;

EID: 84896691190     PISSN: 14332779     EISSN: 14332787     Source Type: Journal    
DOI: 10.1007/s100090100064     Document Type: Article

References (14)

1. Billington, J., Janczura, C: Generalizing results for any legal initial configuration of a railway network. Electron Lett IEEE, 32(24), 1996
2. Billington, J., Janczura, C: State space analysis of a railway network. In: Proc. IEEE Int. Conf. Systems, Man, and Cybernetics (SMC'96), Beijing, China, October 1996, volume 3, pp. 2386-2391
3. Christensen, S., Mortensen, K.H.: Teaching coloured Petri nets - a gentle introduction to formal methods in a distributed systems course. In: Proc. 18th Int. Conf. Application and Theory of Petri Nets (ICATPN'97), Toulouse, France, June 1997, Lecture Notes in Computer Science, vol. 1248. Springer, Berlin Heidelberg New York, 1997, pp. 387-406
4. Van der Aalst, W.M.P., Odijk, M.A.: Analysis of railway stations by means of interval coloured Petri nets. Real-time Syst 9(3):241-263, 1995
5. Dijkstra, E.W.: Solution of a problem in concurrent programming control. Comm ACM 8(9):569, 1965
6. The Esterel language. http://www-sop.inria.fr/meije/esterel/esterel-eng.html
7. Hielscher, W., Urbszat, L., Reinke, C., Kluge, W.: On modelling train traffic control in a model train system. In: Proc. 1st CPN Workshop, DAIMI PB 532, pp. 83-101. Aarhus University, 1998
8. Jansen, L., Meyer zu Hörste, M, Schnieder, E.: Technical issues in modelling the European train control system. In: Proc. 1st CPN Workshop, DAIMI PB 532, pp. 103-115. Aarhus University, 1998
9. Jensen, K.: Coloured Petri nets: basic concepts, analysis methods and pratical use. Volume 1: basic concepts. Monogr Theor Comput Sci, Springer, 1992
10. Jensen, K.: Coloured Petri nets: basic concepts, analysis methods and pratical use. Volume 2: analysis methods. Monogr Theor Comput Sci, Springer, 1994
11. META Software and Aarhus University.: Design/CPN 3.0, 1996. Also available as: http://www.daimi.au.dk/designCPN
12. Spin - formal verification.: http://netlib.bell-labs.com/netlib/spin/whatispin.html
13. Information systems train laboratory.: http://wwwis.win.tue.nl/tallis/
14. Meyer zu Hörste, M.: Modelling and simulation of train control systems using Petri nets. In: Proc. 3rd FMERail Workshop, 1999