460-4019/03 – Petri Nets II (PES II)

Gurantor departmentDepartment of Computer ScienceCredits4
Subject guarantordoc. Ing. Zdeněk Sawa, Ph.D.Subject version guarantordoc. Ing. Zdeněk Sawa, Ph.D.
Study levelundergraduate or graduateRequirementOptional
Year1Semestersummer
Study languageEnglish
Year of introduction2015/2016Year of cancellation
Intended for the facultiesFEIIntended for study typesFollow-up Master
Instruction secured by
LoginNameTuitorTeacher giving lectures
SAW75 doc. Ing. Zdeněk Sawa, Ph.D.
Extent of instruction for forms of study
Form of studyWay of compl.Extent
Full-time Credit and Examination 2+2
Combined Credit and Examination 10+0

Subject aims expressed by acquired skills and competences

To understand the basic concepts and methods of systems description using high-level Petri nets. To accept the high-level Petri nets as an extra suited tool for system modelling, design, and verification. To gaine some practical experiences with this tool (especially the CPN of K.Jensen).

Teaching methods

Lectures
Tutorials

Summary

The course is continuation of Petri Nets I. It deals with the theory and practical use of advanced "high-level" Petri nets. These nets include data flows description and hierarchical decomposition of complex systems - as opposed to classical "low-level" Petri nets.

Compulsory literature:

K.Jensen: Coloured Petri Nets (Basic Concepts), Volume 1, Springer - Verlag, 1992, 1996. www.informatik.uni-hamburg.de/TGI/PetriNets - Welcome to the Petri Nets World http://wiki.daimi.au.dk/cpntools/cpntools.wiki Computer Tool for Coloured Petri Nets http://www.daimi.au.dk/CPnets/ These Web pages present the activities of the CPN group at the Department of Computer Science, University of Aarhus, Denmark

Recommended literature:

K.Jensen, G.Rozenberg (Eds.): High-level Petri Nets (Theory and Application). Springer-Verlag, 1991. K.Jensen (Ed.): Application and Theory of Petri Nets . Springer-Verlag, 1992 R.David, H.Alla: Petri Nets and Grafcet (Tools for modelling discrete event systems). Prentice Hall Ltd., 1992 W.Resig-G.Rozenberg (Eds.): Lectures on Petri Nets I: Basic Models, LNCS 1491, Springer, 1998. W.Resig-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. K.Jensen: Coloured Petri Nets (Analysis Methods), Volume 2, Springer - Verlag, 1995. K.Jensen: Coloured Petri Nets (Practical Use), Volume 3, Springer - Verlag, 1997.

Way of continuous check of knowledge in the course of semester

E-learning

Další požadavky na studenta

No additional requirements are placed on students.

Prerequisities

Subject has no prerequisities.

Co-requisities

Subject has no co-requisities.

Subject syllabus:

Lectures: 1) Introduction to coloured Petri nets 2) Basics of language CPN ML 3) State-space analysis of coloured Petri nets 4) Timed coloured nets 5) Performance analysis 6) Hierarchical nets 7) Formal definitions of coloured Petri nets - basic definitions 8) Formal definitions of coloured Petri nets - operational semantics 9) Further variants of timed nets, and tool TAPAAL 10) Introduction to linear temporal logic (LTL) 11) High-level PN and their usage as program tool for distributed applications 12) Comparison of Petri nets with other modelling tools 13) Concluding summary

Conditions for subject completion

Full-time form (validity from: 2015/2016 Winter semester)
Task nameType of taskMax. number of points
(act. for subtasks)
Min. number of points
Credit and Examination Credit and Examination 100 (100) 51
        Credit Credit 35  15
        Examination Examination 65  20
Mandatory attendence parzicipation:

Show history

Occurrence in study plans

Academic yearProgrammeField of studySpec.FormStudy language Tut. centreYearWSType of duty
2019/2020 (N2647) Information and Communication Technology (2612T025) Computer Science and Technology P English Ostrava 1 Optional study plan
2019/2020 (N2647) Information and Communication Technology (2612T025) Computer Science and Technology K English Ostrava 1 Optional study plan
2018/2019 (N2647) Information and Communication Technology (2612T025) Computer Science and Technology P English Ostrava 1 Optional study plan
2018/2019 (N2647) Information and Communication Technology (2612T025) Computer Science and Technology K English Ostrava 1 Optional study plan
2017/2018 (N2647) Information and Communication Technology (2612T025) Computer Science and Technology P English Ostrava 1 Optional study plan
2017/2018 (N2647) Information and Communication Technology (2612T025) Computer Science and Technology K English Ostrava 1 Optional study plan
2016/2017 (N2647) Information and Communication Technology (2612T025) Computer Science and Technology P English Ostrava 1 Optional study plan
2016/2017 (N2647) Information and Communication Technology (2612T025) Computer Science and Technology K English Ostrava 1 Optional study plan
2015/2016 (N2647) Information and Communication Technology (2612T025) Computer Science and Technology P English Ostrava 1 Optional study plan
2015/2016 (N2647) Information and Communication Technology (2612T025) Computer Science and Technology K English Ostrava 1 Optional study plan

Occurrence in special blocks

Block nameAcademic yearForm of studyStudy language YearWSType of blockBlock owner