PNeS: Tools for the Design and Analysis Petri Nets

被引：0
|
作者：
Suraj, Zbigniew [1 ]
机构：
[1] Univ Rzeszow, Dept Comp Sci, Fac Math & Nat Sci, PL-35310 Rzeszow, Poland
来源：
2018 5TH INTERNATIONAL CONFERENCE ON CONTROL, DECISION AND INFORMATION TECHNOLOGIES (CODIT) | 2018年
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Petri net is a strong mathematical modeling language that can be used to represent parallel or concurrent activities in a system. The practical use of Petri nets is strongly dependent upon the existence of adequate computer tools. For Petri nets one needs editors as well as analysis programs. Modern computers provide an opportunity to work directly with the graphical representations of Petri nets. This paper describes integrated graphical Petri net tools called PNeS for construction of nets, as well as modification and analysis. PNeS allows us to work with different classes of Petri nets. Several analysis tools are available for each of these classes. PNeS works on any computer under any operating system.
引用
收藏
页码：391 / 396
页数：6
相关论文
共 50 条
  • [31] Design by Petri nets of an intersection signal controller
    Gallego, JL
    Farges, JL
    Henry, JJ
    TRANSPORTATION RESEARCH PART C-EMERGING TECHNOLOGIES, 1996, 4 (04) : 231 - 248
  • [32] Using Petri nets in capacitive microaccelerometers design
    Zaharyuk, Roman
    Teslyuk, Vasyl
    Karkulyovskyy, Volodymyr
    Perspective Technologies and Methods in MEMS Design, 2007, : 149 - 150
  • [33] Testable design verification using Petri nets
    Ruzicka, R
    EUROMICRO SYMPOSIUM ON DIGITAL SYSTEM DESIGN, PROCEEDINGS, 2003, : 304 - 311
  • [34] Petri Nets for the Design and Operation of Manufacturing Systems
    Silva, M.
    Teruel, E.
    EUROPEAN JOURNAL OF CONTROL, 1997, 3 (03) : 182 - 199
  • [35] MODELLING THE DESIGN PARAMETERS DYNAMICS WITH PETRI NETS
    Juranic, Jasmin
    Pavkovic, Neven
    Naumann, Thomas
    Marjanovic, Dorian
    DS87-2 PROCEEDINGS OF THE 21ST INTERNATIONAL CONFERENCE ON ENGINEERING DESIGN (ICED 17), VOL 2: DESIGN PROCESSES, DESIGN ORGANISATION AND MANAGEMENT, 2017, : 91 - 100
  • [36] Observer Design for Untimed Continuous Petri Nets
    Mahulea, C.
    Seatzu, C.
    Cabasino, M. P.
    Recalde, L.
    Silva, M.
    2009 AMERICAN CONTROL CONFERENCE, VOLS 1-9, 2009, : 4765 - +
  • [37] Supervisory controller design for timed Petri Nets
    Aybar, Aydin
    Iftar, Altug
    PROCEEDINGS OF THE 2006 IEEE/SMC INTERNATIONAL CONFERENCE ON SYSTEM OF SYSTEMS ENGINEERING, 2006, : 59 - +
  • [38] AUTOMATIC DESIGN BASED ON THE PETRI NETS PARADIGM
    Latorre-Biel, Juan-Ignacio
    Jimenez-Macias, Emilio
    24TH EUROPEAN MODELING AND SIMULATION SYMPOSIUM (EMSS 2012), 2012, : 446 - 451
  • [39] Design of bicolored observers for interpreted Petri nets
    Aguirre-Salas, Luis
    Pelayo-Lopez, Jorge
    Santoyo, Alejandra
    2007 AMERICAN CONTROL CONFERENCE, VOLS 1-13, 2007, : 2630 - +
  • [40] PETRI NETS - PROPERTIES, ANALYSIS AND APPLICATIONS
    MURATA, T
    PROCEEDINGS OF THE IEEE, 1989, 77 (04) : 541 - 580
12345