TCS / Teaching / Tik-79.157

Tik-79.157 Formal Description and Verification of Computing Systems

Spring 2001 (2 cr)


In spring 2001, Tik-79.157 is devoted to mathematical foundations of Petri net theory. The participants may have to recall certain things from general basic courses on mathematics as well as from the basic course on parallel and distributed systems (Tik-79.179 or Tik-79.231).

In order to pass, it suffices to have sufficiently many acceptable presentations in the seminar which is on Fridays at 15-18 in room TB353 of The Computer Science Building (Konemiehentie 2, Espoo). The precise amount of presentations per participant depends at least on the number of participants.

Teacher: Professor Emeritus Leo Ojala

Course assistant: Dr.Tech. Kimmo Varpaaniemi

Course material:

  • Carl Adam Petri, ``Nets, time and space,'' in Theoretical Computer Science (a journal published by Elsevier Science, Amsterdam, The Netherlands), Vol. 153, No. 1-2, January 1996, pp. 3-48.
  • Carl Adam Petri and Einar Smith, ``Concurrency and Continuity,'' in Grzegorz Rozenberg (Ed.), Advances in Petri Nets 1987, Lecture Notes in Computer Science, Vol. 266, Springer-Verlag, Berlin, West Germany, 1987, pp. 273-292.
  • other papers on the topic

    Some useful references for absolute beginners (in Finnish):

  • Harri Rikkonen, Matematiikan pitkä peruskurssi II, reaalimuuttujan funktioiden differentiaalilasku, Otakustantamon julkaisu 282, 7. painos, Espoo 1986, 160 s.
  • Harri Rikkonen, Matematiikan pitkä peruskurssi V, vektorimuuttujan funktioiden differentiaalilasku, Otakustantamon julkaisu 315, 4. korjattu painos, Espoo 1982, 143 s.
  • Harri Rikkonen, Matematiikan pitkä peruskurssi I-VI, harjoitustehtävien tulokset, Otakustantamon julkaisu 475, 2. painos, Espoo 1986, 167 s.

    Some advanced courses with related interests:

  • Mat-1.146 Algebran perusteet
  • Mat-1.150 Reaalianalyysi

    NOTE: Professor Nisse Husberg has the course Tik-79.149 Discrete Structures about algebra in computer science. (The study programme of HUT has changed in such a way that Tik-79.149 is a course of this spring.)


    Latest update: October 2, 2002 by Kimmo Varpaaniemi