Specific proposals for the use of petri nets in a concurrent programming course.

Joo Paulo Barros

Browse the full ITiCSE paper archive.