Utilizing Petri Nets for Teaching in Practical Courses on Collaborative Software Engineering | IEEE Conference Publication | IEEE Xplore