João Paulo Barros. Use petri nets to improve your concurrent programming course. In Sally Fincher, Bruce J. Klein, Fintan Culwin, Michael McCracken, editors, Proceedings of the 6th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2001, Canterbury, UK, June 25-27, 2001. pages 192, ACM, 2001. [doi]
Abstract is missing.