Course material

Course book

We use the course book Modeling Embedded Systems and SoC's - Concurrency and Time in Models of Computation, A. Jantsch, Morgan Kaufmann, 2003.

Lecture slides

The lecture slides will be published here as I get them ready. Some of them are from last year still and may change.

Other Material and Information

• Petri Nets: An online Petri net animation is available at the University of Tübingen. Lots of information about Petri nets and a list of Petri net tools can be found at the server of the University of Hamburg.

  A popular tool for colored Petri nets is CPN which comes with a powerful state space analysis tool.

  A long list of industrial use cases can be found at the Aarhus University web site.

• Labs: In the labs we use a modeling environment which is based on ForSyDe project. There is also a graphical front-end, call MoCTool, based on the Generic Modeling Environment (GME). The MoCTool User Manual contains introductory information further pointers in case you want to use it.

• ForSyDe: Papers and documentation about the ForSyDe project, in particular on the ForSyDe standard library.
• Tons of information and tools about Haskell. In particular the Gentle Introduction to Haskell and an excellent Tour of the Haskell Prelude.

• The Ptolemy system developed at UC Berkeley is a framework for modeling and simulation of heterogeneous models of computation.