Course details

Petri Nets

PES Acad. year 2016/2017 Summer semester 5 credits

Current academic year

Guarantor

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

Language of instruction

Czech

Completion

Examination (written+oral)

Time span

Assessment points

  • 51 pts final exam (written part)
  • 29 pts mid-term test (written part)
  • 20 pts numeric exercises

Department

Department of Intelligent Systems (UITS)

Recommended prerequisites

Study literature

  • Reisig, W.: Petri Nets, An Introduction, Springer Verlag, 1985. ISBN: 0-387-13723-8
  • Jensen, K.: Coloured Petri Nets, Basic Concepts, Analysis Methods and Practical Use, Springer Verlag, 1993. ISBN: 3-540-60943-1
  • Češka, M.: Petriho sítě, Akad.nakl. CERM, Brno, 1994. ISBN: 8-085-86735-4

Fundamental literature

  • Reisig, W.: Petri Nets, An Introduction, Springer Verlag, 1985. ISBN: 0-387-13723-8
  • Jensen, K.: Coloured Petri Nets, Basic Concepts, Analysis Methods and Practical Use, Springer Verlag, 1993. ISBN: 3-540-60943-1
  • Girault, C., Valk, R.: Petri Nets for Systems Engineering: A Guide to Modeling, Verification, and Applications, Springer Verlag, 2002. ISBN 3-540-41217-4
  • Češka, M.: Petriho sítě, Akad.nakl. CERM, Brno, 1994. ISBN: 8-085-86735-4
  • Desel, J., Reisig, W., Rozenberg, G.: Lectures on Concurrency and Petri Nets, Advances in Petri Nets, Lecture Notes in Computer Science, č. 3098, Springer Verlag, 2004. ISBN 3-540-22261-8

Course inclusion in study plans

  • Programme IT-MGR-2, field MBI, MBS, MPV, MSK, any year of study, Elective
  • Programme IT-MGR-2, field MGM, 2nd year of study, Elective
  • Programme IT-MGR-2, field MIN, 2nd year of study, Compulsory
  • Programme IT-MGR-2, field MIS, 2nd year of study, Compulsory-Elective
  • Programme IT-MGR-2, field MMM, any year of study, Compulsory
Back to top