MATLAB tools for the analysis of Petri net models

被引：0
|
作者：
Julvez, Jorge [1 ]
Matcovschi, Mihaela H. [2 ]
Pastravanu, Octavian [2 ]
机构：
[1] Univ Zaragoza, Dept Comp Sci & Syst Engn, E-50009 Zaragoza, Spain
[2] Tech Univ Gh Asachi, Dept Automat Control & Appl Informat, Asachi, Romania
来源：
2014 IEEE EMERGING TECHNOLOGY AND FACTORY AUTOMATION (ETFA) | 2014年
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
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.
引用
收藏
页数：12
相关论文
共 50 条
  • [1] Timed Petri net models of cluster tools
    Zuberek, WM
    [J]. SMC 2000 CONFERENCE PROCEEDINGS: 2000 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOL 1-5, 2000, : 3063 - 3068
  • [2] Petri-net controller synthesis using Matlab/Statflow tools
    Ibraheem, AA
    Moteleb, MSA
    Bahgat, AG
    [J]. Proceedings of the 46th IEEE International Midwest Symposium on Circuits & Systems, Vols 1-3, 2003, : 1030 - 1033
  • [3] On the Verification of Non-autonomous Petri Net Models Using Autonomous Petri Net Tools
    Barros, Joao Paulo
    Gomes, Luis
    Costa, Aniko
    [J]. 38TH ANNUAL CONFERENCE ON IEEE INDUSTRIAL ELECTRONICS SOCIETY (IECON 2012), 2012, : 6138 - 6143
  • [4] PETRI NET TOOLS FOR THE ANALYSIS OF COLLABORATIVE TASKS
    Gonsalves, Tad
    Kawabata, Ryo
    Tabata, Shunya
    Itoh, Kiyoshi
    [J]. JOURNAL OF INTEGRATED DESIGN & PROCESS SCIENCE, 2008, 12 (01) : 23 - 38
  • [5] AN OPEN PETRI NET MODELLING AND ANALYSIS ENVIRONMENT IN MATLAB
    Music, Gasper
    Loescher, Thomas
    Gradisar, Dejan
    [J]. INTERNATIONAL MEDITERRANEAN MODELLING MULTICONFERENCE 2006, 2006, : 123 - +
  • [6] PETRI NET TOOLS
    FELDBRUGGE, F
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1986, 222 : 203 - 223
  • [7] Matlab tools for Petri-Net-Based approaches to flexible manufacturing systems
    Mahulea, C
    Barsan, L
    Pastravanu, O
    [J]. LARGE SCALE SYSTEMS: THEORY AND APPLICATIONS 2001 (LSS'01), 2001, : 199 - 204
  • [8] The Petri Net Kernel: An infrastructure for building Petri net tools
    Kindler E.
    Weber M.
    [J]. International Journal on Software Tools for Technology Transfer, 2001, 3 (4) : 486 - 497
  • [9] PETRI NET TOOLS FOR THE SPECIFICATION AND ANALYSIS OF DISCRETE CONTROLLERS
    WILLSON, RG
    KROGH, BH
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1990, 16 (01) : 39 - 50
  • [10] A Survey of Petri Net Tools
    Thong, Weng Jie
    Ameedeen, M. A.
    [J]. ADVANCED COMPUTER AND COMMUNICATION ENGINEERING TECHNOLOGY, 2015, 315 : 537 - 551
12345