460-4019/02 – Petri Nets II (PES II)
Gurantor department | Department of Computer Science | Credits | 4 |
Subject guarantor | doc. Ing. Zdeněk Sawa, Ph.D. | Subject version guarantor | doc. Ing. Zdeněk Sawa, Ph.D. |
Study level | undergraduate or graduate | Requirement | Optional |
Year | 1 | Semester | summer |
| | Study language | Czech |
Year of introduction | 2015/2016 | Year of cancellation | 2022/2023 |
Intended for the faculties | FEI | Intended for study types | Follow-up Master |
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
Other requirements
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
Occurrence in study plans
Occurrence in special blocks
Assessment of instruction