Gomes, Luís, João Paulo, Anikó Costa, and Ricardo Nunes. "{The Input-Output Place-Transition Petri Net Class and Associated Tools}." 5{\textsuperscript{th}} IEEE International Conference on Industrial Informatics (INDIN 2007). 2007.