Software tool for modeling, simulation and real-time implementation of Petri net-based supervisors

被引：0
|
作者：
Genter, Goran
Bogdan, Stjepan
Kovacic, Zdenko
Grubisic, Ivor
机构：
来源：
PROCEEDINGS OF THE 2007 IEEE CONFERENCE ON CONTROL APPLICATIONS, VOLS 1-3 | 2007年
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
The paper presents a software tool called Petri.NET which allows modeling, simulation and real-time implementation of static and dynamic Petri nets (PN). The PN model is built using prototype objects from the library. The results of PN model simulation are presented to the user in the form of a token game and in the graphical form showing diagrams of a state vector m(p). The feature that separates Petri.NET tool from other PN simulation tools is the ability of direct implementation of the created PN model (system supervisor) in two possible ways: a) by automatic generation of the PLC code, and/or b) by activation of the OPC client within Petri.NET.
引用
收藏
页码：1009 / 1014
页数：6
相关论文
共 50 条
  • [1] Hardware implementation of real-time Petri net-based controllers
    Chang, N
    Kwon, WH
    Park, J
    [J]. ALGORITHMS AND ARCHITECTURES FOR REAL-TIME CONTROL 1997, 1997, : 245 - 250
  • [2] A time Petri net-based method for embedded hard real-time software synthesis
    Raimundo Barreto
    Paulo Maciel
    Eduardo Tavares
    Romulo Devezas Freitas
    Meuse Oliveira
    Ricardo Massa Lima
    [J]. Design Automation for Embedded Systems, 2008, 12 : 31 - 62
  • [3] A time Petri net-based method for embedded hard real-time software synthesis
    Barreto, Raimundo
    Maciel, Paulo
    Tavares, Eduardo
    Freitas, Romulo Devezas
    Oliveira, Meuse
    Lima, Ricardo Massa
    [J]. DESIGN AUTOMATION FOR EMBEDDED SYSTEMS, 2008, 12 (1-2) : 31 - 62
  • [4] Time Petri Net-Based Software Reliability Analysis
    Yang, Maoqiang
    [J]. INTELLIGENCE COMPUTATION AND EVOLUTIONARY COMPUTATION, 2013, 180 : 231 - 235
  • [5] Petri net-based simulation and analysis of the software development process
    Topic, Gordan
    Jevtic, Dragan
    Kunstic, Marijan
    [J]. KNOWLEDGE-BASED INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT 2, PROCEEDINGS, 2008, 5178 : 418 - +
  • [6] Petri net-based modeling of switching arrangements & simulation
    Liao, Xiaoping
    Zhang, XinFang
    Liao, Xiaoping
    Jiang, Juan
    [J]. 2005 IEEE INTERNATIONAL CONFERENCE ON MECHATRONICS AND AUTOMATIONS, VOLS 1-4, CONFERENCE PROCEEDINGS, 2005, : 1545 - 1550
  • [7] Small Spacecraft Software Modeling: A Petri Net-Based Approach
    Malott, Levi
    Palangpour, Pasha
    Pernicka, Henry
    Chellappan, Sriram
    [J]. JOURNAL OF AEROSPACE INFORMATION SYSTEMS, 2014, 11 (10): : 679 - 690
  • [8] Petri net-based modeling and VHDL implementation of digital systems
    Wan, Jun
    [J]. PROCEEDINGS OF THE 2016 INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND ELECTRONIC TECHNOLOGY, 2016, 48 : 108 - 111
  • [9] Petri net-based verification of security protocol implementation in software evolution
    Bin Ahmadon, Mohd Anuaruddin
    Yamaguchi, Shingo
    Gupta, B. B.
    [J]. INTERNATIONAL JOURNAL OF EMBEDDED SYSTEMS, 2018, 10 (06) : 503 - 517
  • [10] Petri net-based modeling and simulation of a hybrid manufacturing system
    Jalilvand, A
    Khanmohammadi, S
    Shabaninia, F
    [J]. IEEE: 2005 INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES, PROCEEDINGS, 2005, : 382 - 387
12345