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

Gurantor departmentDepartment of Computer ScienceCredits4
Subject guarantordoc. Ing. Zdeněk Sawa, Ph.D.Subject version guarantorprof. RNDr. Petr Jančar, CSc.
Study levelundergraduate or graduateRequirementOptional
Year1Semestersummer
Study languageCzech
Year of introduction2010/2011Year of cancellation2014/2015
Intended for the facultiesFEIIntended for study typesFollow-up Master
Instruction secured by
LoginNameTuitorTeacher giving lectures
BOH126 Ing. Ada Böhm, Ph.D.
JAN59 prof. RNDr. Petr Jančar, CSc.
SUR096 Ing. Martin Šurkovský, Ph.D.
Extent of instruction for forms of study
Form of studyWay of compl.Extent
Full-time Credit and Examination 2+2
Part-time 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

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

Full-time form (validity from: 2010/2011 Winter semester, validity until: 2014/2015 Summer semester)
Task nameType of taskMax. number of points
(act. for subtasks)
Min. number of pointsMax. počet pokusů
Exercises evaluation and Examination Credit and Examination 100 (100) 51
        Exercises evaluation Credit 35 (35) 15
                Project Project 20  10
                Practical test Other task type 15  5
        Examination Examination 65  20 3
Mandatory attendence participation:

Show history

Conditions for subject completion and attendance at the exercises within ISP:

Show history

Occurrence in study plans

Academic yearProgrammeBranch/spec.Spec.ZaměřeníFormStudy language Tut. centreYearWSType of duty
2014/2015 (N2647) Information and Communication Technology (2612T025) Computer Science and Technology P Czech Ostrava 1 Optional study plan
2014/2015 (N2647) Information and Communication Technology (2612T025) Computer Science and Technology K Czech Ostrava 1 Optional study plan
2013/2014 (N2647) Information and Communication Technology (2612T025) Computer Science and Technology P Czech Ostrava 1 Optional study plan
2013/2014 (N2647) Information and Communication Technology (2612T025) Computer Science and Technology K Czech Ostrava 1 Optional study plan
2012/2013 (N2647) Information and Communication Technology (2612T025) Computer Science and Technology P Czech Ostrava 1 Optional study plan
2012/2013 (N2647) Information and Communication Technology (2612T025) Computer Science and Technology K Czech Ostrava 1 Optional study plan
2011/2012 (N2647) Information and Communication Technology (2612T025) Computer Science and Technology P Czech Ostrava 1 Optional study plan
2011/2012 (N2647) Information and Communication Technology (2612T025) Computer Science and Technology K Czech Ostrava 1 Optional study plan
2010/2011 (N2647) Information and Communication Technology (2612T025) Computer Science and Technology P Czech Ostrava 1 Optional study plan
2010/2011 (N2647) Information and Communication Technology (2612T025) Computer Science and Technology K Czech Ostrava 1 Optional study plan

Occurrence in special blocks

Block nameAcademic yearForm of studyStudy language YearWSType of blockBlock owner

Assessment of instruction



2013/2014 Summer