Course details

Theoretical Computer Science 2

TI2 Acad. year 2003/2004 Summer semester 6 credits

Current academic year

Basic concepts of Petri nets, typical analysis problems, analysis methods, Petri net languages, restrictions and extensions of basic class of Petri nets, Coloured Petri nets, Hierarchical and Object oriented Petri nets, Petri nets tools, applications.

Details ...

Guarantor

Češka Milan, prof. RNDr., CSc.

Language of instruction

Czech

Completion

Examination

Time span

Department

Faculty of Information Technology (FIT)

Subject specific learning outcomes and competences

Theoretical and practical background for application of Petri nets and supporting tools in system modelling, design, and verification.

Learning objectives

To understand the basic concepts and methods of system modelling using Petri nets, to adopt the Petri nets theory and applications in problems of system modelling, design, and verification. To gaine practical experiences with representative Perti nets tools.

Study literature

  • Reisich W.: Petri nets, Springer Verlag 1985
  • Jensen K.: Coloured Petri nets, Springer Verlag 1993
  • Češka M.: Petriho sítě, Akad.nakl. CERM, Brno 1994

Fundamental literature

  • Reisich W.: Petri nets, Springer Verlag 1985
  • Jensen K.: Coloured Petri nets, Springer Verlag 1993
  • Češka M.: Petriho sítě, Akad.nakl. CERM,Brno 1994

Progress assessment

Mid-term exam evaluation and evaluation of projects documentation.

Course inclusion in study plans

Back to top