Teaching modelling and validation of concurrent systems using coloured Petri nets

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

Volumn 5100 LNCS, Issue , 2008, Pages 19-34

  Kristensen, Lars Michael ^a   Jensen, Kurt ^a  

^a AARHUS UNIVERSITY   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

MODELING LANGUAGES;

COLOURED PETRI NETS; CONCURRENT SYSTEMS; FORMAL FOUNDATION; MODELLING AND VALIDATION; PRACTICAL EXPERIENCE; PRACTICAL USE;

PETRI NETS;

EID: 58449092374     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-89287-8_2     Document Type: Conference Paper

References (24)

1. Biggs, J.: Teaching for Quality Learning at University, 2nd edn. The Society for Research into Higher Education and Open University Press (2003)
2. Brabrand, C.: Teaching Teaching and Understanding Understanding, http://www.daimi.au.dk/-brabrand/short-film/
3. Brabrand, C.: Constructive alignment for teaching model-based design for concurrency. In: Gomes, L., Christensen, S. (eds.) Proc. of 2nd Workshop on Teaching Concurrency (TeaConc 2007), pp. 1-18. University of Podlasie (2007)
4. Brøndsted, J., Kristensen, L.M.: Specification and performance evaluation of two zone dissemination protocols for vehicular ad-hoc networks. In: Proc. of 39th Annual Simulation Symposium, pp. 68-79. IEEE Computer Society, Los Alamitos (2006)
5. Coloured Petri Nets Course-Home page, http://www.daimi.au.dk/-kris/CPN/
6. Chakeres, I.D., Perkins, C.E.: Dynamic MANET On-demand (DYMO) Routing. Internet-Draft. Work in Progress (July 2007), http://www.ietf.org/internet- drafts/draft-ietf-manet-dymo-10.txt
7. Christensen, S., Jrgensen, J.B.: Coloured Petri Nets: Examples of courses and lessons learned. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) Lectures on Concurrency and Petri Nets. LNCS, vol. 3098, pp. 402-412. Springer, Heidelberg (2004)
8. Colouris, G., Dollimore, J., Kindberg, T.: Distributed Systems-Concepts and Design. Addison-Wesley, Reading (2001)
9. I/O Consulting. Software manual for the webpic evaluation board
10. CPN Tools Homepage, http://www.daimi.au.dk/CPNTools
11. Droms, R.: Dynamic Host Configuration Protocol. Request for Comments 2131 (March 1997)
12. Espensen, K.L., Kjeldsen, M.K., Kristensen, L.M.: Towards modelling and verification of the dymo routing protocol for mobile ad-hoc networks. In: Proc. of Workshop on Practical Use of Coloured Petri Nets and the CPN Tools, pp. 243- 262 (2007)
13. Holzmann, G., Najm, E., Serhrouchni, A.: SPIN model checking: an introduction. International Journal on Software Tools for Technology Transfer 2, 321-327 (2000)
14. Jensen, K.: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Basic Concepts. Monographs in Theoretical Computer Science, vol. 1. Springer, Heidelberg (1992)
15. Jensen, K.: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Analysis Methods. Monographs in Theoretical Computer Science, vol. 2. Springer, Heidelberg (1994)
16. Jensen, K.: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Practical Use. Monographs in Theoretical Computer Science, vol. 3. Springer, Heidelberg (1997)
17. Jensen, K., Kristensen, L.M.: Coloured Petri Nets-Modelling and Validation of Concurrent Systems. Textbook. Springer, Heidelberg (to appear, 2008)
18. Jensen, K., Kristensen, L.M., Wells, L.: Coloured Petri Nets and CPN Tools for Modelling and Validation of Concurrent Systems. Int. Journal on Software Tools for Technology Transfer (STTT) 9(3-4), 213-254 (2007)
19. Kaufman, C.: Internet Key Exchange (IKEv2) Protocol. Request for Comments 4306 (December 2005)
20. IETF MANET Working Group, http://www.ietf.org/html.charters/manet- charter.html
21. Raynal, M.: Algorithms for Mutual Exclusion. North Oxford Academic, New York (1986)
22. Reisig, W.: Petri Nets-An Introduction. EATCS Monographs on Theoretical Computer Science, vol. 4. Springer, Heidelberg (1985)
23. Mortensen, K.H., Christensen, S.: Teaching Coloured Petri Nets-a gentle introduction to formal methods in a distributed systems course. In: Azéma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol. 1248, pp. 290-309. Springer, Heidelberg (1997)
24. Ullman, J.D.: Elements of ML Programming. Prentice-Hall, Englewood Cliffs (1998)