@inproceedings{ITiCSE-2002-Barros,
	author        = "João Paulo Barros",
	booktitle     = "{Proceedings of the Seventh Conference on Innovation and Technology in Computer Science Education}",
	doi           = "10.1145/544414.544463",
	isbn          = "1-58113-499-1",
	pages         = "165--167",
	publisher     = "{ACM}",
	title         = "{Specific proposals for the use of petri nets in a concurrent programming course}",
	year          = 2002,
}