Lino, F., & 		Sztajnberg, A.
(2007).
 Petri Net Network Analyzer and Simulator.
In <em>Proceedings of the 4th Workshop on Operating Systems</em>, (pp. 898-903). Porto Alegre: SBC.