Use petri nets to improve your concurrent programming course.

Joo Paulo Barros

Browse the full ITiCSE paper archive.