Course detail

Petri Nets

FIT-PESAcad. year: 2010/2011

Not applicable.

Language of instruction

Czech

Number of ECTS credits

5

Mode of study

Not applicable.

Guarantor

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

Department

Department of Intelligent Systems (UITS)

Learning outcomes of the course unit

Not applicable.

Prerequisites

Not applicable.

Co-requisites

Not applicable.

Planned learning activities and teaching methods

Not applicable.

Assesment methods and criteria linked to learning outcomes

Not applicable.

Course curriculum

Not applicable.

Work placements

Not applicable.

Aims

Not applicable.

Specification of controlled education, way of implementation and compensation for absences

Not applicable.

Recommended optional programme components

Not applicable.

Prerequisites and corequisites

Basic 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

Recommended reading

  • 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

Classification of course in study plans

  • Programme IT-MGR-2 Master's

    branch MBI , any year of study, summer semester, elective
    branch MPV , any year of study, summer semester, elective
    branch MSK , any year of study, summer semester, elective
    branch MBS , any year of study, summer semester, elective
    branch MMI , any year of study, summer semester, elective
    branch MGM , 2. year of study, summer semester, elective
    branch MPS , 2. year of study, summer semester, elective
    branch MIS , 2. year of study, summer semester, compulsory-optional
    branch MIN , 2. year of study, summer semester, compulsory
    branch MMM , 2. year of study, summer semester, compulsory

Type of course unit

 

Lecture

39 hours, optionally

Teacher / Lecturer

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

Syllabus

  1. An introduction to Petri nets, their philosophy and applications, the notion of a net and of the derived basic terms
  2. Condition/Event (C/E) Petri nets, cases and steps, the state space of C/E systems, cyclic and live C/E systems, equivalence of C/E systems.
  3. Contact-free C/E systems, complementation, case graphs and their application for analysing C/E systems.
  4. Processes of C/E systems, occurrence nets, properties of properties and composition of processes.
  5. Complementation of C/E systems, the synchronic distance, special synchronic distances, C/E systems and the propositional calculus, facts.
  6. Place/Transition (P/T) Petri nets, their definition, evolution rules, their state space, basic analytical problems (safety, boundedness, conservativeness, liveness).
  7. Representing the possibly infinite state space of Petri nets by a reachability tree, computing and using reachability trees for analysing P/T Petri nets.
  8. P and T invariants of P/T Petri nets, their definition, the ways of computing them and using them for analysing P/T Petri nets.
  9. Subclasses and extensions of P/T Petri nets, state machines, marked graphs, free-choice Petri nets, Petri nets with inhibitors, timed and stochastic Petri nets.
  10. The notion of a Petri net language, types of such languages, their closure properties, their relation to the Chomsky hierarchy. Computability and complexity of some selected Petri net-related problems.
  11. Coloured Petri nets (CPNs), their basic modelling primitives, an inscription language, CPN Design as an example of a tool based on CPNs.
  12. Analysis of CPNs, occurrence graphs, invariants, and their use in analysing systems.
  13. Hierarchical and object-oriented Petri nets, basic concepts of a hierarchical design, substitution and invocation, adding object-oriented features on top of Petri nets, PNtalk as a language based on object-oriented Petri nets.

Exercise in computer lab

6 hours, optionally

Teacher / Lecturer

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

Project

7 hours, optionally

Teacher / Lecturer

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