Title:

Theory and Applications of Petri Nets

Code:TAD
Ac.Year:2003/2004
Term:Summer
Language of Instruction:Czech
Completion:examination (written&verbal)
Type of
instruction:
Hour/semLecturesSeminar
Exercises
Laboratory
Exercises
Computer
Exercises
Other
Hours:390080
 ExamsTestsExercisesLaboratoriesOther
Points:7000030
Guarantor:Češka Milan, prof. RNDr., CSc. (DITS)
Lecturer:Češka Milan, prof. RNDr., CSc. (DITS)
Instructor:Češka Milan, prof. RNDr., CSc. (DITS)
Marek Vladimír, Ing. (DITS)
Faculty:Faculty of Information Technology BUT
Department:Department of Intelligent Systems FIT BUT
 
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.
Description:
  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.
Learning outcomes and competences:
  Theoretical and practical background for application of Petri nets and supporting tools in system modelling, design, and verification.
Syllabus of lectures:
 
  1. Introduction to Petri nets, basic notions.
  2. Condition/Event Petri nets.
  3. Complementation, case graphs, and applications in C/E systems analysis.
  4. Processes of C/E Petri nets, occurrences nets.
  5. Properties of C/E Petri nets, synchronic distances, facts.
  6. Place/Transition Petri nets, analysis problems.
  7. Analysis of P/T Petri nets by reachability tree.
  8. Invariants of P/T Petri nets.
  9. Petri nets languages.
  10. Marked graphs and Free choices Petri nets, Petri nets with inhibitors.
  11. Coloured Petri nets, CPN Design, applications.
  12. Analysis of Coloured Petri nets.
  13. Hierarchical Coloured Petri nets and Object oriented Petri nets.
Syllabus - others, projects and individual work of students:
 
  1. Essay based on selected scientific paper dealing with Petri net application in problems solved in student dissertation.
Fundamental literature:
 
  1. Reisich W.: Petri nets, Springer Verlag 1985
  2. Jensen K.: Coloured Petri nets, Springer Verlag 1993
  3. Češka M.: Petriho sítě, Akad.nakl. CERM, Brno 1994
Study literature:
 
  1. Reisich W.: Petri nets, Springer Verlag 1985
  2. Jensen K.: Coloured Petri nets, Springer Verlag 1993
  3. Češka M.: Petriho sítě, Akad.nakl. CERM, 1994
  4. Wil van der Aalst and Kees van Hee: Workflow Management: Models, Methods, and Systems MIT Press, 368 pp., ISBN 0-262-01189-1
  5. 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
  6. http://www.fit.vutbr.cz/study/courses/TI1/public/ti.pdf
Controlled instruction:
  Lectures and essay elaboration.
Progress assessment:
  Short tests in lectures, state of essay elaboration.
 

Your IPv4 address: 54.198.55.167
Switch to IPv6 connection

DNSSEC [dnssec]