Universitatea A. I. Cuza Iaşi

Rețele Petri şi aplicații

Numele cursuluiRețele Petri şi aplicații CodCS3210O2
Generaţia Informatică zi, 2007 - 2010 Pachet 5
Nivel de studii Licenţă An 3 Semestru 2 Statut Opţional
Nr. de ore pe săptămânăNr. total de ore pe semestruNr. de ore de lucru individualCrediteMod de evaluareLimba de predare
CSLPr
2 0 2 0 56 94 5 E ro
Titularul disciplineiTitlu academic şi ştiinţific
Asistent, Dr., Oana Prisecaru
Discipline absolvite anterior
Obiective
  1. Insusirea notiunilor referitoare la retele Petri si diferite extensii ale acestora.
  2. Dobandirea unor tehnici de analiza pentru retele Petri.
  3. Intelegerea aplicatiilor practice ale retelelor Petri in diverse domenii.
  4. Dobandirea abilitatii de modelare si analiza a unor sisteme reale utilizand diferite tipuri de retele Petri.
Tematica generală
  1. Retele Petri de tip P/T. Proprietati si metode de analiza pentru retele de tip P/T . Subclase de retele de tip P/T.
  2. Aplicatii ale retelelor de tip P/T (modelarea protocoalelor de comunicare, algoritmi distribuiti).
  3. Teoria fluxurilor de lucru: retele workflow, proprietati si extensii ale retelelor workflow. Sisteme de administrare a fluxurilor de lucru bazate pe retele Petri.
  4. Retele Petri Colorate: proprietati si metode de analiza.
  5. Aplicatii ale retelelor Petri colorate in industrie.
  6. Retele Petri cu timp.
  7. Aplicatii ale retelelor Petri cu timp.
Tematica seminariilor / laboratoarelorRețele Petri de tip P/T. Modelarea și analiza unor sisteme reale utilizând rețele de tip P/T. Utilizarea unor unelte de simulare și verificare a rețelelor de tip P/T. Rețele Workflow. Utilizarea de unelte specifice pentru rețele workflow (WoPeD). Utilizarea unui sistem de administrarea a fluxurilor de lucru bazat pe rețele Petri (Woflan). Rețele Petri colorate. Modelarea și analiza sistemelor utilizând rețele Petri colorate. Studii de caz folosind CPNTools. Rețele Petri cu timp. Alte extensii ale rețelelor Petri.
Metode de predareExpunere (videoproiector la curs), dezbatere, exerciţii, problematizare, studii de caz (laborator).
Bibliografie
  • T. Jucan, F.L. Tiplea: Retele Petri. Teorie si Practica. Romanian Academy Press, Bucuresti, 1999.
  • T. Murata. Petri nets: Properties, analysis and applications. Proc. of the IEEE 77(4), pp. 541-580, 1989.
  • W. Reisig. Elements of Distributed Algorithms. Modeling and Analysis with Petri Nets, Springer-Verlag, 1998.
  • K. Jensen. Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Vol. 1, Basic Concepts. Monographs in Theoretical Computer Science, Springer-Verlag, 2nd corrected printing 1997. ISBN: 3-540-60943-1.
  • W.M.P. van der Aalst and K.M. van Hee. Workflow Management: Models, Methods, and Systems. MIT press, Cambridge, MA, 2004.
  • Wil M. P. van der Aalst: Interval Timed Coloured Petri Nets and their Analysis. Application and Theory of Petri Nets 1993: 453-472
EvaluarecondiţiiNote pentru:  activitatea  la seminar şi laborator (LSA), si doua teste scrise  (TS1,TS2) in saptamanile 8 si 16.
criteriiLSA >=5,  TS1+TS2 >=10
formeActivitatea la laborator si seminar (exerciţii, lucrari practice, teste, referat): se va nota cu o nota intre 0 si 10. Fiecare din testele TS1 si TS2 va fi evaluat cu o nota intre 1 si 10.
formula notei finaleN=0.4%LSA + 0.3%TS1+0.3%TS2
N este 4 daca unul din criterii nu este indeplinit.
© 2006-2010 FII | despre site | intranet