Lecture 12: Hierarchical and Colored Petri nets

Semester: 
2020. tavasz