460-4019/01 – 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 | prof. RNDr. Petr Jančar, CSc. |
Study level | undergraduate or graduate | Requirement | Optional |
Year | 1 | Semester | summer |
| | Study language | Czech |
Year of introduction | 2010/2011 | Year of cancellation | 2014/2015 |
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 the student.
Prerequisities
Subject has no prerequisities.
Co-requisities
Subject has no co-requisities.
Subject syllabus:
Lectures:
Classification of Petri nets: low-level and high-level Petri nets, timed and untimed, plain and (hierarchically) structured.
Timed Petri nets
Stochastic Petri nets (SPN). Markovian stochastic process associated with SPN.
Generalized stochastic Petri nets (GSPN). Stochastic process associated with SPN.
Coloured Petri nets (CPN) I: Informal introduction.
Coloured Petri nets II: Formal definitions.
Coloured Petri nets III: CPN dynamic behaviour.
Coloured Petri nets IV: State space methods of analysis.
Coloured Petri nets V: Invariants, algebraic methods of analysis.
Hierarchization constructs of coloured Petri nets: substitution, invocation, fusion.
Software tools for design, simulation and analysis of HLPN.
Object-oriented methods for systems design and programming and high-level Petri nets.
Object oriented Petri nets.
Conditions for subject completion
Occurrence in study plans
Occurrence in special blocks
Assessment of instruction