fişa disciplinei
1. Date despre program
1.1 Instituţia de învăţământ superior	Universitatea Babes-Bolyai Cluj-Napoca	
1.2 Facultatea	Facultatea de Matematica si Informatica	
1.3 Departamentul	Departamentul de Informatica	
1.4 Domeniul de studii	Informatica	
1.5 Ciclul de studii	Licenta	
1.6 Programul de studiu / Calificarea	Informatica	

2. Date despre disciplină
2.1 Denumirea disciplinei	Modelarea Paralelismului si Concurentei cu ajutorul Retelelor Petri	
2.2 Titularul activităţilor de curs	Conf.Dr. Teodor Toadere	
2.3 Titularul activităţilor de seminar	Conf.Dr.Teodor Toadere	
2.4 Anul de studiu	3	2.5 Semestrul	6	2.6. Tipul de evaluare	C	2.7 Regimul disciplinei	Optional	

3. Timpul total estimat (ore pe semestru al activităţilor didactice)
3.1 Număr de ore pe săptămână	3	Din care: 3.2 curs	2	3.3 seminar/laborator	1	
3.4 Total ore din planul de învăţământ	12	Din care: 3.5 curs	28	3.6 seminar/laborator	12	
Distribuţia fondului de timp:	Ore	
Studiul după manual, suport de curs, bibliografie şi notiţe	55	
Documentare suplimentară în bibliotecă, pe platformele electronice de specialitate şi pe teren	10	
Pregătire seminarii/laboratoare, teme, referate, portofolii şi eseuri	15	
Tutoriat	0	
Examinări 	20	
Alte activităţi: ..................	0	
3.7 Total ore studiu individual	40	
3.8 Total ore pe semestru	30	
3.9 Numărul de credite	5	

4. Precondiţii (acolo unde este cazul)
4.1 de curriculum	•		
4.2 de competenţe	•		

5. Condiţii (acolo unde este cazul)
5.1 De desfăşurare a cursului	•		
5.2  De desfăşurare a seminarului/laboratorului	•		

6. Competenţele specifice acumulate
Competenţe profesionale	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.	- Prezentarea notiunilor de teoria grafelor
- Dobandirea de catre studenti a unui instrument de modelare a problemelor din diferite domenii.
- Insusirea si programarea unor algorimi din teoria grafelor.	•	Cunoasterea, intelegerea si folosirea conceptelor de baza din Informatica teoretica.	
Competenţe transversale	•		•		•	Cunoasterea momentelor mai importante din istoria calculatoarelor si istoria Informaticii si cunoasterea celor mai importanti oameni din Informatica
•	Capacitatea de a vedea Informatica ca pe un tot unitar si, prin prisma aceasta, capacitatea de a vedea interconexiuni intre diferitele domenii de studiu ale Informaticii; Capacitatea de a tine cursuri despre evolutia in timp a Informaticii  	

7. Obiectivele disciplinei (reieşind din grila competenţelor acumulate)
7.1 Obiectivul general al disciplinei	•	Obtinerea unei imagini de ansamblu a modelarii sistemelor distribuite cunoasterea si intelegerea notiunilor, modelelor cu retele petri de probleme si a algoritmilor de rezolvare a acestora	
7.2 Obiectivele specifice

	•	Realizarea unor produse informatice de rezolvare pe diferite problelme specifice	

8. Conţinuturi
8.1 Curs	Metode de predare	Observaţii	
Curs
1.	Sistemul ca obiect abstract. Sisteme: tranzitionale, tranzitionale distribuite, tranzitionale distribuite uniform. Axiomele A1, A2, A3, A4 si A5.
2.	Sitemul retea, retele Petri conditie – eveniment (C/E) si retele Petri locatie – tranzitie (PTN)
3.	Reprezentari ale retelelor Petri.
4.	Evolutia retelor Petri.
5.	Proprietati ale retelelor Petri.
6.	Probleme de decizie in teoria retelelor Petri.
7.	Analiza PTN cu ajutorul algebrei liniare.
8.	Rolul invariantilor in analiza retelelor Petri.
9.	Zavoare si trape in PTN.
10.	Tipuri de PTN: normate, controlate,
11.	Tipuri de PTN:  cu alegere libera, colorate.
12.	Extensii ale PTN: cu inhibitie, cu fisiere.
13.	Aplicatii ale PTN.
 Referate.	Expunere, descriere, explicatii, exemple	Un curs dureaza 2 ore si exista un curs in fiecare saptamana	
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.	
8.2 Seminar / laborator	Metode de predare	Observaţii	
1Elaborarea de programme si documentatie pentru problemele date la curs ( citirea relatiei de tranzitie si determinarea elementelor sistemului citit, verificarea daca un sistem verifica axiomele A1 –A4, determinarea de invarianti pentru un sistem dat, verificarea daca o multime de locatii este zavor sau trapa);
1.	Prezentarea unor referate din literatura de specialitate.	

9. Coroborarea conţinuturilor disciplinei cu aşteptările reprezentanţilor comunităţii epistemice, asociaţiilor profesionale şi angajatori reprezentativi din domeniul aferent programului
•	 Cursul respecta recomandările IEEE şi ACM legate de Curiculla pentru specializarea Informatică
•	Cursul ofera o imagine de ansamblu asupra modelarii cu ajutorul retelelor petri, ofera studentului o expertiza generala asupra rezolvarii de probleme cu modele din acest domeniu.

10. Evaluare
Tip activitate	10.1 Criterii de evaluare	10.2 metode de evaluare	10.3 Pondere din nota finală	
10.4 Curs	Cunoasterea principalelor notiuni si algoritmi pentru rezolvarea unor probleme teoretice sau practice.	Examen scris	70%	
10.5 Seminar/laborator	Realizarea unor produse informatice (aplicatii) documentatiile corespunzatoare	Evaluare lucrarilor realizate	20%	
				
10.6 Standard minim de performanţă	
•	Studentul trebuie sa obtina minim nota 4 prin insumarea noteler de la examenul scris si de la laborator. 

Data completării		Semnătura titularului de curs		Semnătura titularului de seminar
..........................		Conf.Dr.Teodor Toadere		Conf.Dr.Teodor Toadere

Data avizării în departament			           Semnătura directorului de departament	
...........................................					Prof. Dr. Bazil Parv