Course details
Theory and Applications of Petri Nets
TAD Acad. year 2003/2004 Summer semester
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
Language of instruction
Completion
Time span
- 39 hrs lectures
Department
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 gain 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, 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
Progress assessment
Short tests in lectures, state of essay elaboration.