Universitatea Babeş-Bolyai Cluj-Napoca
Facultatea de Matematică şi Informatică
Ciclul de studii: Licenţă
Domeniul: Informatică
Programul de studii: Informatică - linia de studiu română
Limba de predare: Română

SYLLABUS

I. Date generale
Codul	Disciplina	
MID0015	Modelarea paralelismului şi concurenţei prin retele Petri	

Semestrul	Ore: C+S+L	Categoria	Statutul	
6	2+0+2	specialitate	opţională	

II. Cadre didactice cu norma de bază în Universitate
Numele şi	Titlul	Gradul	Catedra	Tipul activităţii	
prenumele	ştiinţific	didactic		C	S	L	
TOADERE Teodor	Dr. 	Conf.	Sisteme Informatice	*			

Cadre didactice asociate
Numele şi	Titlul	Instituţia	Tipul	Tipul activităţii	
prenumele	ştiinţific		postului	C	S	L	

III. Obiectivele disciplinei
Dobandirea de instrumente practice (modele si algoritmi) cu ajutorul carora informaticianul rezolva probleme (paralelism, concurenta, infometare) din domeniul programarii multitasking. Cunoasterea unui mod util in practica pentru modelarea sistemelor tranzitionale distribuite din practica.	

IV. Conţinutul disciplinei
Sisteme tranzitionale distribuite
Reteua Petri (PTN) ca mijloc de modelare;
Reprezentarea PTN (geometric, matriceal);
Evolutia unei PTN (secventiala, concurenta);
Proprietati: comutativitate, monotonie; vivacitate, accesibilitate, terminare finita; echitate;
Graf si arbore de acoperire;
Graf si arbore de accesibilitate;
Probleme de decizie;
PTN controlate;
Analiza PTN cu ajutorul algebrei liniare;
PTN normate;
Zavoare si trape;
Retele cu alegere libera;
PTN colorate;
Extensiile PTN (cu inhibitie, cu fisiere);
Aplicatii.	

V. Bibliografie
1. Colectia Lecture Notes in Computer Science, 1978-1994.
2. GUY VIDAL-NAQUET, ANNI CHOQUET-GENIET, Reseaux de Petri et Systemes Paralleles, Armond Colin, 1992.
3. WOLFGANG REISIG, Petri Nets, An Introduction; Springer-Verlag; Berlin, Heidelberg, New-York, Tokyo; 1985.
4. T. JUCAN, F. L. TIPLEA, Retele Petri, Ed. Univ. "Al.I.Cuza", Iasi, 1995.	

VI. Tematica activităţilor didactice pe săptămâni
Conform cu IV Continutul Disciplinei	

VII. Metode didactice folosite

VIII. Evaluare
Pe parcursul semestrului se tin referate in cadrul seminarului. La finele semestrului fiecare student prezinta un referat pe o tema dintre cele prezentate la curs.	

IX. Bibliografie suplimentară

	Decan,							Sef de catedra,
Prof.Univ.Dr. Leon Tambulea			Prof.Univ.Dr. Florian Mircea Boian

	Data,							Titular curs,
								Conf. Dr.  TOADERE Teodor