Course details

Theory and Applications of Petri Nets

TAD Acad. year 2007/2008 Summer semester

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.

Guarantor

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

Language of instruction

Czech, English

Completion

Examination

Time span

  • 39 hrs lectures
  • 8 hrs pc labs

Department

Department of Intelligent Systems (UITS)

Subject specific learning outcomes and competences

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

Abilities to apply and develop advanced information technologies based on suitable formal models, to propose and use such models and theories for automating the design, implementation, and verification of computer-based systems.

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 gain practical experiences with representative Perti nets tools.

Prerequisite knowledge and skills

Basic knowledge of discrete mathematics concepts including graph theory and formal languages concepts,  basic concepts of algorithmic complexity, and principles of computer modelling.

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, 1994
  • Wil van der Aalst and Kees van Hee: Workflow Management: Models, Methods, and Systems MIT Press, 368 pp., ISBN 0-262-01189-1
  • Unifying Petri Nets, Advances in Petri Nets, Ed.: Hartmut Ehrig, Gabriel Juhas, Julia Padberg, Grzegorz Rozenberg, Springer-Verlag Vol.: LNCS 2128, 485 pp., ISBN: 3-540-43067-9
  • http://www.fit.vutbr.cz/study/courses/TI1/public/ti.pdf

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

Syllabus of lectures

  • Introduction to Petri nets, basic notions.
  • Condition/Event Petri nets.
  • Complementation, case graphs, and applications in C/E systems analysis.
  • Processes of C/E Petri nets, occurrences nets.
  • Properties of C/E Petri nets, synchronic distances, facts.
  • Place/Transition Petri nets, analysis problems.
  • Analysis of P/T Petri nets by reachability tree.
  • Invariants of P/T Petri nets.
  • Petri nets languages.
  • Marked graphs and Free choices Petri nets, Petri nets with inhibitors.
  • Coloured Petri nets, CPN Design, applications.
  • Analysis of Coloured Petri nets.
  • Hierarchical Coloured Petri nets and Object oriented Petri nets.

Progress assessment

Study evaluation is based on marks obtained for specified items. Minimimum number of marks to pass is 50.

Controlled instruction

Lectures and essay elaboration.

Back to top