MATLAB tools for the analysis of Petri net models

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.