Jorge Júlvez, Mihaela-Hanako Matcovschi, Octavian C. Pastravanu: MATLAB tools for the analysis of Petri net models. ETFA 2014: 1-12