@inproceedings{DiGRA-2009-Araujo,
	author        = "Manuel Araújo",
	booktitle     = "{Proceedings of the Fifth DiGRA International Conference: Breaking New Ground: Innovation in Games, Play, Practice and Theory}",
	ee            = "http://www.digra.org/digital-library/publications/modeling-games-with-petri-nets/",
	publisher     = "{Digital Games Research Association}",
	title         = "{Modeling Games with Petri Nets}",
	year          = 2009,
}