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 条
  • [21] Modular analysis of Petri nets
    Christensen, S
    Petrucci, L
    COMPUTER JOURNAL, 2000, 43 (03): : 224 - 242
  • [22] SimHPN: A MATLAB toolbox for simulation, analysis and design with hybrid Petri nets
    Julvez, Jorge
    Mahulea, Cristian
    Vazquez, Carlos-Renato
    NONLINEAR ANALYSIS-HYBRID SYSTEMS, 2012, 6 (02) : 806 - 817
  • [23] Programmable timed Petri nets in the analysis and design of hybrid control systems
    Koutsoukos, X.D.
    Antsaklis, P.J.
    He, K.X.
    Lemmon, M.D.
    Proceedings of the IEEE Conference on Decision and Control, 1998, 2 : 1617 - 1622
  • [24] Programmable timed Petri nets in the analysis and design of hybrid control systems
    Koutsoukos, XSD
    Antsaklis, PJ
    He, KXY
    Lemmon, MD
    PROCEEDINGS OF THE 37TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-4, 1998, : 1617 - 1622
  • [25] CPN tools for editing, simulating, and analysing coloured Petri nets
    Ratzer, AV
    Wells, L
    Lassen, HM
    Laursen, M
    Qvortrup, JF
    Stissing, MS
    Westergaard, M
    Christensen, S
    Jensen, K
    APPLICATIONS AND THEORY OF PETRI NETS 2003, PROCEEDINGS, 2003, 2679 : 450 - 462
  • [26] Component tools: Integrating Petri nets with other formal methods
    Kindler, Ekkart
    Rubin, Vladimir
    Wagner, Robert
    PETRI NETS AND OTHER MODELS OF CONCURRENCY - ICATPN 2006, 2006, 4024 : 37 - 56
  • [27] Server Consolidation Using Coloured Petri Nets and CPN Tools
    Al-Azzoni, Issam
    2015 6TH INTERNATIONAL CONFERENCE ON INFORMATION AND COMMUNICATION SYSTEMS (ICICS), 2015, : 32 - 37
  • [28] A Survey of Modeling and Scheduling of Cluster Tools Based on Petri Nets
    Yuan F.-L.
    Huang B.
    Wang J.-P.
    Pan C.-R.
    Zidonghua Xuebao/Acta Automatica Sinica, 2023, 49 (05): : 929 - 948
  • [29] Quantum buffer design using Petri nets
    Shah, Syed Asad
    Oruc, A. Yavuz
    INTERNATIONAL JOURNAL OF PARALLEL EMERGENT AND DISTRIBUTED SYSTEMS, 2024,
  • [30] Supervisor Design with Petri Nets for Asymmetrical System
    Feng, Aixiang
    Luo, Xionglin
    PROCEEDINGS OF THE 10TH WORLD CONGRESS ON INTELLIGENT CONTROL AND AUTOMATION (WCICA 2012), 2012, : 628 - 632
12345