TCS / Studies / T-79.300 Postgraduate Course in Theoretical Computer Science
Helsinki University of Technology, 
     Laboratory for Theoretical Computer Science

T-79.300 Postgraduate Course in Theoretical Computer Science (2-10 cr)

Spring 2003

[Current] [General Information] [Schedule] [Arrangements]

Previous years: [Autumn 2002] [Spring 2002] [Autumn 2001] [Spring 2001]

The seminar will focuse on Modeling and Verification of Petri Nets for Systems Engineering. Applications especially from Telecommunications will also be studied (modelling of dynamical systems, e.g. mobility and protocol verification).

The use of distributed systems with asynchronous communication makes it difficult to use traditional tools like debuggers and testers because errors, even if detected, cannot be reproduced in such systems. Therefore formal models must be generated for the systems which then are analysed, for example using reachability analysis. One of the newest and most efficient reachability analyser, Maria (Modular Reachability Analyser) has been designed in our laboratory and applied to fairly large protocols (RLC in UMTS).

In this seminar, we shall investigate Modelling and Verification using High Level Petri Nets in general but also go through new publications of applications especially to Telecommunications (depending on the interests of the students attending the seminar). The main litterature is a recent book by Girault and Valk: "Petri Nets in Systems Engineering" (Springer 2003) but also conference proceedings and journal articles will be used.


    Please, contact Prof. Nisse Husberg as soon as possible for buying a copy of
    Claude Girault and Rüdiger Valk: "Petri Nets in Systems Engineering", 607 p., Springer 2003. Price about 45 euro.

General Information

  • Time, place: Monday 16:30-19:30, seminar room TB353
  • Professor: D.Sc.(Tech.) Nisse Husberg, room I-C324 (Innopoli-2).
  • Course assistant: M.Sc. (Tech.) ???
  • Registration by TOPI, attending the first meeting, or by contacting the assistant.
  • Prerequisites: Basic knowledge of Petri nets (preferrably T-79.179) logic and algebra.
  • There are two ways to get credits in this seminar:
    • Presenting a paper: about 45 minutes presentation of the ideas, the benefits and importance of a chapter (or paper); answering the questions made by the opponent and audience; preparing the presentation slides; Everyone should actively take part in the discussion of each paper (very important).
    • Writing an individual research paper and presenting it.


      • 13 Jan: Opening, overview, handing out assignments
      • 20 Jan: NO seminar (due to travel)
      • 27 Jan: The real begin of seminars
      Presentation: slides (pdf/ps), paper (pdf/ps)


      [TCS main] [Contact Info] [Personnel] [Research] [Publications] [Software] [Studies] [News Archive] [Links]
      Latest update: 13 January 2003.