MATLAB tools for the analysis of Petri net models

Author

Julvez, Jorge ; Matcovschi, Mihaela H. ; Pastravanu, Octavian

Author_Institution

Dept. of Comput. Sci. & Syst. Eng., Univ. of Zaragoza, Zaragoza, Spain

fYear

2014

fDate

16-19 Sept. 2014

Firstpage

1

Lastpage

12

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.

Keywords

Petri nets; mathematics computing; software tools; MATLAB tools; Petri net model analysis; Petri net toolboxes; continuous systems; discrete systems; graphical interface; hybrid systems; scientific software development; software platforms; software tools; Analytical models; Computational modeling; MATLAB; Petri nets; Semantics; Servers;

fLanguage

English

Publisher

ieee

Conference_Titel

Emerging Technology and Factory Automation (ETFA), 2014 IEEE

Conference_Location

Barcelona

Type

conf

DOI

10.1109/ETFA.2014.7005053

Filename

7005053