Universitatea Babeş-Bolyai Cluj-Napoca
Facultatea de Matematică şi Informatică
Ciclul de studii: Masterat
Domeniul: Informatica
Programul de studii: Programare bazată pe componente - în limba engleză
Limba de predare: Engleză

SYLLABUS

I. General data
Code	Subject	
MID1011	Petri Nets in Software Modeling and Verification	

Semester	Hours: C+S+L+P	Category	Status	
4	2+1+0+1	speciality	compulsory	

II. Full status faculty members
Name and	Scientific	Didactic	Chair	Type of activity	
surname	title	title		C	S	L	
SACAREA Cristian	Ph.D.	Lect.	Programming  Languages and Methods	*			

Associated faculty members
Name and	Scientific	Institution	Type of	Type of activity	
surname	title		position	C	S	L	

III. Course objectives

IV. Course contents

V. Bibliography

VI. Thematic of didactic activities per weeks

VII. Didactic methods used

VIII. Assessment

IX. Additional references

	Dean,							Chair head,

	Date,							Course responsible,
								Lect. SACAREA Cristian, Ph.D.