Babes-Bolyai University of Cluj-Napoca
Faculty of Mathematics and Computer Science
Study Cycle: Graduate
SUBJECT

Code	Subject	
MID0015	Models of Parallelism and Concurency Using Petri Nets	

Section	Sem.	Hours: C+S+L	Category	Type	
Computer Science - in Romanian	6	2+0+1	speciality	optional	
Information engineering - in Romanian	8	2+0+2	speciality	optional	

Teaching Staff in Charge	Assoc.Prof. TOADERE Teodor, Ph.D., toadere@cs.ubbcluj.ro	
Aims	Acquiring practical tools (models and algorithms) to be used by computer scientists for solving problems (paralelism, concurency, hunger) in the field of distributed programming. Knowledge of useful ways in modelling the practical transitional distributed systems.	
Content		
Bibliography	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.	
Assessment	During the semester the students will present scientific reports. At the end of the semester each student will present a more detailed research study based on one of the subjects discussed at the course.