456-0909/01 – Petri Nets (PS)

Gurantor departmentDepartment of Computer ScienceCredits10
Subject guarantorprof. RNDr. Petr Jančar, CSc.Subject version guarantorprof. RNDr. Petr Jančar, CSc.
Study levelpostgraduateRequirementChoice-compulsory
YearSemesterwinter + summer
Study languageCzech
Year of introduction1997/1998Year of cancellation2009/2010
Intended for the facultiesFEIIntended for study typesDoctoral
Instruction secured by
LoginNameTuitorTeacher giving lectures
JAN59 prof. RNDr. Petr Jančar, CSc.
Extent of instruction for forms of study
Form of studyWay of compl.Extent
Full-time Credit and Examination 2+0
Part-time Credit and Examination 2+0

Subject aims expressed by acquired skills and competences

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

Teaching methods

Lectures
Individual consultations
Project work

Summary

The course deals with theory of Petri nets, and the possibilities to use them in modelling, analysis and verification of discrete dynamic systems with distributed states and parallel processes.

Compulsory literature:

J.L.Peterson: Petri Nets and the Modeling of Systems. Prentice Hall, 1981 W.Resig-G.Rozenberg (Eds.): Lectures on Petri Nets I: Basic Models, LNCS 1491, Springer, 1998.

Recommended literature:

R.David, H.Alla: Petri Nets and Grafcet /Tools for modelling discrete event systems/. Prentice Hall Ltd., 1992 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 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

Prerequisities

Subject has no prerequisities.

Co-requisities

Subject has no co-requisities.

Subject syllabus:

Lectures: Analysis, modelling and design of complex systems with parallelism and hierarchical structure. Solution of problems by nets. Definition and classification of Petri nets. Informal introduction to modelling by Petri nets I. C/E nets, P/T nets, Petri nets with inhibitors. Informal introduction to 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. State (marking) and the reachability set. The reachability graph. Properties of Petri nets: boundedness, safeness, liveness, deadlock-freeness, reversibility, conservativity. The reachability problem. State analysis of Petri nets. Structural analysis of Petri nets. Fundamental equations. 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. Hierarchization by the method of substition of places and transitions. Petri net languages and their relation to Chomsky hierarchy. HLPN (High Level Petri Nets) . CPN (Coloured Petri Nets) - the most common variant HLPN Non-hierarchical CPN. Description of structure and dynamics. Hiearchical CPN. Substitution and invocation of places and transitions. Merging of places and transitions.

Conditions for subject completion

Part-time form (validity from: 1960/1961 Summer semester, validity until: 2008/2009 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 (145) 51 3
        Examination Examination 100  0 3
        Exercises evaluation Credit 45  0 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
2009/2010 (P2646) Information Technology (1801V002) Computer Science and Applied Mathematics K Czech Ostrava Choice-compulsory study plan
2009/2010 (P2645) Electrical Engineering, Communication and Computer systems (2612V015) Electronics P Czech Ostrava Choice-compulsory study plan
2009/2010 (P2646) Information Technology (1801V002) Computer Science and Applied Mathematics P Czech Ostrava Choice-compulsory study plan
2009/2010 (P2645) Electrical Engineering, Communication and Computer systems (2612V045) Technical Cybernetics P Czech Ostrava Choice-compulsory study plan
2009/2010 (P2645) Electrical Engineering, Communication and Computer systems (2612V015) Electronics K Czech Ostrava Choice-compulsory study plan
2009/2010 (P2645) Electrical Engineering, Communication and Computer systems (2612V045) Technical Cybernetics K Czech Ostrava Choice-compulsory study plan
2009/2010 (P2612) Electrical Engineering and Computer Science (2601V013) Communication Technology K Czech Ostrava Optional study plan
2009/2010 (P2612) Electrical Engineering and Computer Science (2601V013) Communication Technology P Czech Ostrava Optional study plan
2008/2009 (P2645) Electrical Engineering, Communication and Computer systems (2612V015) Electronics P Czech Ostrava Choice-compulsory study plan
2008/2009 (P2646) Information Technology (1801V002) Computer Science and Applied Mathematics P Czech Ostrava Choice-compulsory study plan
2008/2009 (P2645) Electrical Engineering, Communication and Computer systems (2612V045) Technical Cybernetics P Czech Ostrava Choice-compulsory study plan
2008/2009 (P2612) Electrical Engineering and Computer Science (2601V013) Communication Technology P Czech Ostrava Optional study plan
2008/2009 (P2612) Electrical Engineering and Computer Science (2612V015) Electronics K Czech Ostrava Choice-compulsory study plan
2008/2009 (P2646) Information Technology K Czech Ostrava Choice-compulsory study plan
2008/2009 (P2646) Information Technology (1801V002) Computer Science and Applied Mathematics K Czech Ostrava Choice-compulsory study plan
2008/2009 (P2645) Electrical Engineering, Communication and Computer systems (2612V045) Technical Cybernetics K Czech Ostrava Choice-compulsory study plan
2008/2009 (P2612) Electrical Engineering and Computer Science (2601V013) Communication Technology K Czech Ostrava Optional study plan
2008/2009 (P2645) Electrical Engineering, Communication and Computer systems (2612V015) Electronics K Czech Ostrava Choice-compulsory study plan
2007/2008 (P2645) Electrical Engineering, Communication and Computer systems (2612V015) Electronics P Czech Ostrava Choice-compulsory study plan
2007/2008 (P2646) Information Technology (1801V002) Computer Science and Applied Mathematics P Czech Ostrava Choice-compulsory study plan
2007/2008 (P2645) Electrical Engineering, Communication and Computer systems (2612V045) Technical Cybernetics P Czech Ostrava Choice-compulsory study plan
2007/2008 (P2612) Electrical Engineering and Computer Science (2601V013) Communication Technology P Czech Ostrava Optional study plan
2006/2007 (P2645) Electrical Engineering, Communication and Computer systems (2612V015) Electronics P Czech Ostrava Choice-compulsory study plan
2006/2007 (P2646) Information Technology (1801V002) Computer Science and Applied Mathematics P Czech Ostrava Choice-compulsory study plan
2006/2007 (P2645) Electrical Engineering, Communication and Computer systems (2612V045) Technical Cybernetics P Czech Ostrava Choice-compulsory study plan
2006/2007 (P2612) Electrical Engineering and Computer Science (2601V013) Communication Technology P Czech Ostrava Choice-compulsory study plan
2005/2006 (P2645) Electrical Engineering, Communication and Computer systems (2612V015) Electronics P Czech Ostrava Choice-compulsory study plan
2005/2006 (P2646) Information Technology (1801V002) Computer Science and Applied Mathematics P Czech Ostrava Choice-compulsory study plan
2005/2006 (P2645) Electrical Engineering, Communication and Computer systems (2612V045) Technical Cybernetics P Czech Ostrava Choice-compulsory study plan
2005/2006 (P2612) Electrical Engineering and Computer Science (2601V013) Communication Technology P Czech Ostrava Choice-compulsory study plan
2004/2005 (P2645) Electrical Engineering, Communication and Computer systems (2612V015) Electronics P Czech Ostrava Choice-compulsory study plan
2004/2005 (P2646) Information Technology (1801V002) Computer Science and Applied Mathematics P Czech Ostrava Choice-compulsory study plan
2004/2005 (P2645) Electrical Engineering, Communication and Computer systems (2612V045) Technical Cybernetics P Czech Ostrava Choice-compulsory study plan
2004/2005 (P2612) Electrical Engineering and Computer Science (2601V013) Communication Technology P Czech Ostrava Choice-compulsory study plan
2003/2004 (P2645) Electrical Engineering, Communication and Computer systems (2612V015) Electronics P Czech Ostrava Choice-compulsory study plan
2003/2004 (P2646) Information Technology (1801V002) Computer Science and Applied Mathematics P Czech Ostrava Choice-compulsory study plan
2003/2004 (P2645) Electrical Engineering, Communication and Computer systems (2612V045) Technical Cybernetics P Czech Ostrava Choice-compulsory study plan
2003/2004 (P2612) Electrical Engineering and Computer Science (2601V013) Communication Technology P Czech Ostrava Choice-compulsory study plan
2002/2003 (P2612) Electrical Engineering and Computer Science (2612V015) Electronics P Czech Ostrava Choice-compulsory study plan
2002/2003 (P2612) Electrical Engineering and Computer Science (1801V002) Computer Science and Applied Mathematics P Czech Ostrava Choice-compulsory study plan
2002/2003 (P2612) Electrical Engineering and Computer Science (2612V045) Technical Cybernetics P Czech Ostrava Choice-compulsory study plan
2002/2003 (P2612) Electrical Engineering and Computer Science (2601V013) Communication Technology P Czech Ostrava Choice-compulsory study plan
2001/2002 (P2612) Electrical Engineering and Computer Science (2612V015) Electronics P Czech Ostrava Choice-compulsory study plan
2001/2002 (P2612) Electrical Engineering and Computer Science (1801V002) Computer Science and Applied Mathematics P Czech Ostrava Choice-compulsory study plan
2001/2002 (P2612) Electrical Engineering and Computer Science (2612V045) Technical Cybernetics P Czech Ostrava Choice-compulsory study plan

Occurrence in special blocks

Block nameAcademic yearForm of studyStudy language YearWSType of blockBlock owner

Assessment of instruction

Předmět neobsahuje žádné hodnocení.