MATLAB tools for the analysis of Petri net models | Publicación