Gurantor department | Department of Computer Science | Credits | 10 |

Subject guarantor | prof. RNDr. Petr Jančar, CSc. | Subject version guarantor | prof. RNDr. Petr Jančar, CSc. |

Study level | postgraduate | ||

Study language | Czech | ||

Year of introduction | 2010/2011 | Year of cancellation | |

Intended for the faculties | FEI | Intended for study types | Doctoral |

Instruction secured by | |||
---|---|---|---|

Login | Name | Tuitor | Teacher giving lectures |

JAN59 | prof. RNDr. Petr Jančar, CSc. |

Extent of instruction for forms of study | ||
---|---|---|

Form of study | Way of compl. | Extent |

Full-time | Examination | 28+0 |

Combined | Examination | 28+0 |

On successful completion of the course, the student
- understands the notions from Petri net theory
- is able to model and analyse concrete systems by help of software tools based on Petri nets
- is able to assess using the methods of Petri net for concrete engineering problems
- is able by self-study to master and present an advanced topic in Petri net theory

Lectures

Individual consultations

Project work

Petri nets constitute a class of frequently used tools for modelling,
design, and analysis of complex systems with distributed states,
parallel processes and hierarchical structure. They have numerous
applications in the area of data processing, operating systems,
distributed databases, and controlling of complex processes.
The course presents the basic notions and methods of Petri net theory
and with the methodologies of their use in specification, design,
analysis and verification of information and other systems.

K.Jensen, L.M.Kristensen: Coloured Petri Nets (Modelling and
Validation of Concurrent Systems), Springer, 2009.

W.Reisig-G.Rozenberg (Eds.): Lectures on Petri Nets I: Basic Models, LNCS 1491, Springer, 1998.
W.Reisig-G.Rozenberg (Eds.): Lectures on Petri Nets II: Applications, LNCS 1492, Springer, 1998.
M.A.Marsan, G.Balbo, G.Conte, S.Donatelli, G.Franceschinis: Modelling with Generalised Stochastic Petri Nets. Series in Parallel Computing, John Wiley & Sons, 1995.

The student writes a concise, cogent and understandable article about a selected advanced topic, which he/she presents during the course.

There are not defined other requirements for student.

Subject has no prerequisities.

Subject has no co-requisities.

Problem of analysis, modelling and design of complex systems with parallelism and hierarchical structure. Net methods to solve the problem. Definition and classification of Petri nets.
Informal introduction into modelling by Petri nets I: C/E Petri nets, P/T Petri nets. Petri nets with inhibitors.
Informal introduction into modelling by Petri nets II: high-level Petri nets, coloured Petri nets, hierarchical Petri nets.
Structures, systems and parametrized systems of Petri nets. Statics and dynamics of Petri nets. Markings, and the reachability set of a PN-system. Reachability graph.
Petri nets properties: boundedness, liveness, deadlock-freeness, reversibility, conservativeness. The reachability problem. State analysis of Petri nets.
Structure analysis of Petri nets. The fundamental equation. P-invariants, T-invariants, net components. Dual nets.
Special types of Petri nets: automata nets, synchronization nets, free-choice nets.
Synthesis of safe, live and reversible Petri nets. Hiearachization via substitution of places and transitions.
Petri net languages, their relation to Chomsky hierarchy.
High Level Petri Nets (HLPN).
Coloured Petri Nets (CPN), the most used version of HLPN.
CPN nonhierarchical; structure and dynamics.
CPN hierarchical. Substitution and invocation of places and
transitions. Fusing of places and transitions.

Task name | Type of task | Max. number of points
(act. for subtasks) | Min. number of points |
---|---|---|---|

Examination | Examination |

Show history

Task name | Type of task | Max. number of points
(act. for subtasks) | Min. number of points |
---|---|---|---|

Examination | Examination |

Show history

Academic year | Programme | Field of study | Spec. | Form | Study language | Tut. centre | Year | W | S | Type of duty | |
---|---|---|---|---|---|---|---|---|---|---|---|

2019/2020 | (P0613D140005) Computer Science | P | Czech | Ostrava | Choice-compulsory type B | study plan | |||||

2019/2020 | (P0714D060001) Communication Technology | P | Czech | Ostrava | Choice-compulsory type B | study plan | |||||

2019/2020 | (P0541D170005) Computational and Applied Mathematics | P | Czech | Ostrava | Choice-compulsory type B | study plan | |||||

2019/2020 | (P0541D170005) Computational and Applied Mathematics | K | Czech | Ostrava | Choice-compulsory type B | study plan | |||||

2019/2020 | (P0613D140005) Computer Science | K | Czech | Ostrava | Choice-compulsory type B | study plan | |||||

2019/2020 | (P0714D060001) Communication Technology | K | Czech | Ostrava | Choice-compulsory type B | study plan | |||||

2018/2019 | (P1807) Computer Science, Communication Technology and Applied Mathematics | (1103V036) Computational and Applied Mathematics | P | Czech | Ostrava | Choice-compulsory | study plan | ||||

2018/2019 | (P1807) Computer Science, Communication Technology and Applied Mathematics | (1801V001) Informatics | P | Czech | Ostrava | Choice-compulsory | study plan | ||||

2018/2019 | (P1807) Computer Science, Communication Technology and Applied Mathematics | (1103V036) Computational and Applied Mathematics | K | Czech | Ostrava | Choice-compulsory | study plan | ||||

2018/2019 | (P1807) Computer Science, Communication Technology and Applied Mathematics | (1801V001) Informatics | K | Czech | Ostrava | Choice-compulsory | study plan | ||||

2017/2018 | (P1807) Computer Science, Communication Technology and Applied Mathematics | (1103V036) Computational and Applied Mathematics | P | Czech | Ostrava | Choice-compulsory | study plan | ||||

2017/2018 | (P1807) Computer Science, Communication Technology and Applied Mathematics | (1801V001) Informatics | P | Czech | Ostrava | Choice-compulsory | study plan | ||||

2017/2018 | (P1807) Computer Science, Communication Technology and Applied Mathematics | (1103V036) Computational and Applied Mathematics | K | Czech | Ostrava | Choice-compulsory | study plan | ||||

2017/2018 | (P1807) Computer Science, Communication Technology and Applied Mathematics | (1801V001) Informatics | K | Czech | Ostrava | Choice-compulsory | study plan | ||||

2016/2017 | (P1807) Computer Science, Communication Technology and Applied Mathematics | (1103V036) Computational and Applied Mathematics | P | Czech | Ostrava | Choice-compulsory | study plan | ||||

2016/2017 | (P1807) Computer Science, Communication Technology and Applied Mathematics | (1801V001) Informatics | P | Czech | Ostrava | Choice-compulsory | study plan | ||||

2016/2017 | (P1807) Computer Science, Communication Technology and Applied Mathematics | (1103V036) Computational and Applied Mathematics | K | Czech | Ostrava | Choice-compulsory | study plan | ||||

2016/2017 | (P1807) Computer Science, Communication Technology and Applied Mathematics | (1801V001) Informatics | K | Czech | Ostrava | Choice-compulsory | study plan | ||||

2015/2016 | (P1807) Computer Science, Communication Technology and Applied Mathematics | (1103V036) Computational and Applied Mathematics | P | Czech | Ostrava | Choice-compulsory | study plan | ||||

2015/2016 | (P1807) Computer Science, Communication Technology and Applied Mathematics | (1801V001) Informatics | P | Czech | Ostrava | Choice-compulsory | study plan | ||||

2015/2016 | (P1807) Computer Science, Communication Technology and Applied Mathematics | (1103V036) Computational and Applied Mathematics | K | Czech | Ostrava | Choice-compulsory | study plan | ||||

2015/2016 | (P1807) Computer Science, Communication Technology and Applied Mathematics | (1801V001) Informatics | K | Czech | Ostrava | Choice-compulsory | study plan | ||||

2014/2015 | (P1807) Computer Science, Communication Technology and Applied Mathematics | (1103V036) Computational and Applied Mathematics | P | Czech | Ostrava | Choice-compulsory | study plan | ||||

2014/2015 | (P1807) Computer Science, Communication Technology and Applied Mathematics | (1801V001) Informatics | P | Czech | Ostrava | Choice-compulsory | study plan | ||||

2014/2015 | (P1807) Computer Science, Communication Technology and Applied Mathematics | (1103V036) Computational and Applied Mathematics | K | Czech | Ostrava | Choice-compulsory | study plan | ||||

2014/2015 | (P1807) Computer Science, Communication Technology and Applied Mathematics | (1801V001) Informatics | K | Czech | Ostrava | Choice-compulsory | study plan | ||||

2014/2015 | (P1807) Computer Science, Communication Technology and Applied Mathematics | (1801V001) Informatics | K | English | Ostrava | Choice-compulsory | study plan | ||||

2013/2014 | (P1807) Computer Science, Communication Technology and Applied Mathematics | (1103V036) Computational and Applied Mathematics | P | Czech | Ostrava | Choice-compulsory | study plan | ||||

2013/2014 | (P1807) Computer Science, Communication Technology and Applied Mathematics | (1103V036) Computational and Applied Mathematics | K | Czech | Ostrava | Choice-compulsory | study plan | ||||

2013/2014 | (P1807) Computer Science, Communication Technology and Applied Mathematics | (1801V001) Informatics | P | Czech | Ostrava | Choice-compulsory | study plan | ||||

2013/2014 | (P1807) Computer Science, Communication Technology and Applied Mathematics | (1801V001) Informatics | K | Czech | Ostrava | Choice-compulsory | study plan | ||||

2012/2013 | (P1807) Computer Science, Communication Technology and Applied Mathematics | (1103V036) Computational and Applied Mathematics | P | Czech | Ostrava | Choice-compulsory | study plan | ||||

2012/2013 | (P1807) Computer Science, Communication Technology and Applied Mathematics | (1103V036) Computational and Applied Mathematics | K | Czech | Ostrava | Choice-compulsory | study plan | ||||

2012/2013 | (P1807) Computer Science, Communication Technology and Applied Mathematics | (1801V001) Informatics | P | Czech | Ostrava | Choice-compulsory | study plan | ||||

2012/2013 | (P1807) Computer Science, Communication Technology and Applied Mathematics | (1801V001) Informatics | K | Czech | Ostrava | Choice-compulsory | study plan | ||||

2011/2012 | (P1807) Computer Science, Communication Technology and Applied Mathematics | (1103V036) Computational and Applied Mathematics | P | Czech | Ostrava | Choice-compulsory | study plan | ||||

2011/2012 | (P1807) Computer Science, Communication Technology and Applied Mathematics | (1103V036) Computational and Applied Mathematics | K | Czech | Ostrava | Choice-compulsory | study plan | ||||

2011/2012 | (P1807) Computer Science, Communication Technology and Applied Mathematics | (1801V001) Informatics | P | Czech | Ostrava | Choice-compulsory | study plan | ||||

2011/2012 | (P1807) Computer Science, Communication Technology and Applied Mathematics | (1801V001) Informatics | K | Czech | Ostrava | Choice-compulsory | study plan | ||||

2010/2011 | (P2646) Information Technology | (1801V002) Computer Science and Applied Mathematics | P | Czech | Ostrava | Choice-compulsory | study plan | ||||

2010/2011 | (P2646) Information Technology | (1801V002) Computer Science and Applied Mathematics | K | Czech | Ostrava | Choice-compulsory | study plan | ||||

2010/2011 | (P1807) Computer Science, Communication Technology and Applied Mathematics | (1801V001) Informatics | P | Czech | Ostrava | Choice-compulsory | study plan | ||||

2010/2011 | (P1807) Computer Science, Communication Technology and Applied Mathematics | (1801V001) Informatics | K | Czech | Ostrava | Choice-compulsory | study plan | ||||

2010/2011 | (P1807) Computer Science, Communication Technology and Applied Mathematics | (1103V036) Computational and Applied Mathematics | P | Czech | Ostrava | Choice-compulsory | study plan | ||||

2010/2011 | (P1807) Computer Science, Communication Technology and Applied Mathematics | (1103V036) Computational and Applied Mathematics | K | Czech | Ostrava | Choice-compulsory | study plan |

Block name | Academic year | Form of study | Study language | Year | W | S | Type of block | Block owner |
---|