MATLAB tools for the analysis of Petri net models

Abstract

The paradigm of Petri nets offers a rich modeling power that has been successfully exploited in many different application domains as manufacturing, logistic, traffic, computer and biological domains. In order to develop and analyze Petri models in an efficient and systematic way, appropriate software tools are required. Among the existing software platforms for scientific software development, MATLAB places at the user's disposal a large set of toolboxes with an inutitive graphical interface. This paper describes some of the existing Petri net toolboxes that have been developed on MATLAB, and that cover the needs for the modeling and analysis of discrete, continuous and hybrid systems. * Submitted to the 19th IEEE International Conference on Emerging Technologies and Factory Automation; ETFA'2014 as invited paper to track 4: "Automated Manufacturing Systems".

TIMSPAT – Reachability graph search-based optimization tool for colored Petri net-based scheduling

“…Tools like PNetLab [11] and SimQPN [37] have been employed for the control and scheduling of manufacturing systems, and queueing systems respectively. Tools like GPenSIM [18,19] and PN Toolbox [34] are embedded into third-party commercial software packages like MATLAB. Users are required to learn the MATLAB language to develop models.…”

A Ciência Como Jogo: Abordagens Lúdicas Ao Design De Interfaces Para Software Científico

“…Figura 10 -Petri net Toolbox (Julvez et al, 2014) Figura 11 -Biok (Letondal & Zdun, 2003) Figura 12 -Simulação em RV diagramada via web (Kovalchuk, 2012). (Li et al, 2012) Figura 17 -Virtual Astronaut (Wang et al, 2012) Figura 18 -Visão sistêmica das definições de Juul (Queiroz et al, submetido) Figura 19 -Diagrama de livro didático (Kuhn, 1977) Figura 20 -Folhas -truth-to-nature (Daston & Galison, 2010) Figura 21 -Folha -objetividade mecânica (Daston & Galison., 2010) Figura 22 -Rede postal -objetividade estrutural (Daston & Galison, 2010) Figura 23 -Radiografia, julgamento treinado (Daston & Galison., 2010) Figura 24 -Simulação de campos de vorticidade (Daston & Galison., 2010).…”

“…Estas necessidades podem resultar em soluções interessantes. Modelos matemáticos PUC-Rio -Certificação Digital Nº 1512175/CA podem ser construídos através de interfaces para diagramação (Julvez et al, 2014;Bunus, 2006). A Figura 4 apresenta um exemplo deste tipo de interface.…”

“…A respeito da divisão de etapas do trabalho científico, nota-se que alguns programas podem dar suporte a mais de uma etapa (Bunus, 2006) (Julvez et al, 2014). Na Figura 10, observa-se, no centro e à esquerda, botões para controle da simulação que estariam desativados em modo desenho.…”

“…Figura 10 -Petri net Toolbox (Julvez et al, 2014) Figura 11 -Biok (Letondal & Zdun, 2003) PUC-Rio -Certificação Digital Nº 1512175/CA…”