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

Code	Subject	
MID1011	Petri Nets in Software Modeling and Verification	

Section	Semester	Hours: C+S+L	Category	Type	
Component-Based Programming - in English	4	2+1+1	speciality	compulsory	

Teaching Staff in Charge	Assoc.Prof. TOADERE Teodor, Ph.D., toadere@cs.ubbcluj.ro	
Aims		
Content		
Bibliography		
Assessment