High Level Petri Nets and rule based systems for discrete event system modelling

被引：0
|
作者：
Burdescu, D.D. [1 ]
Brezovan, M. [1 ]
Marghitu, D.B. [1 ]
机构：
[1] Auburn University, Auburn, AL 36849, United States
来源：
International Journal of Smart Engineering System Design | 2001年 / 3卷 / 02期
关键词：
Algorithms - High level languages - Knowledge based systems - Linear algebra - Mathematical models - Petri nets - Semantics;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
This paper is threefold structured: the first part presents High Level Petri Nets, a formalism to specify concurrent and discrete event systems. The definition of High Level Petri Nets is made by specification of both formal syntax and dynamic semantics. To do this, a formal definition of composed data types is made, in a similar way to the structured data types of programming languages. The second part of the paper presents a way for implementing the dynamic semantics of High Level Petri Nets by using a modified version of RETE algorithm. A connection between rule-based systems and High Level Petri Nets is presented, and it is sown that for every Petri net, a rule-based semantic equivalent system exists. Third, a rule based language for systems modelling is described and an example of using High Level Petri Nets for modelling a manufacturing system is presented.
引用
收藏
页码：81 / 97
相关论文
共 50 条
  • [31] NON-BLOCKING DECENTRALIZED CONTROL OF DISCRETE EVENT SYSTEMS BASED ON PETRI NETS
    Lu, Feihua
    Wu, Weimin
    Su, Hongye
    Chu, Jian
    ASIAN JOURNAL OF CONTROL, 2010, 12 (03) : 323 - 335
  • [32] Modelling mobility in high-level Petri nets
    Devillers, Raymond
    Klaudel, Hanna
    Koutny, Maciej
    SEVENTH INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN, PROCEEDINGS, 2007, : 110 - +
  • [33] Fuzzy rule base systems verification using high-level Petri nets
    Yang, SJH
    Tsai, JJP
    Chen, CC
    IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 2003, 15 (02) : 457 - 473
  • [34] NEW SOFTWARE TOOL FOR MODELLING AND CONTROL OF DISCRETE-EVENT AND HYBRID SYSTEMS USING PETRI NETS
    Kucera, Erik
    Haffner, Oto
    Drahos, Peter
    Ciganek, Jan
    Stefanovic, Juraj
    Kozak, Stefan
    COMPUTING AND INFORMATICS, 2020, 39 (03) : 568 - 586
  • [35] Modeling Humanoid Robot as a Discrete Event System A Modular Approach based on Petri Nets
    Davidrajuh, Reggie
    2015 THIRD INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE, MODELLING AND SIMULATION (AIMS 2015), 2015, : 277 - 282
  • [36] Precision Evaluation Methods of Petri Nets Modelling Discrete-Event Processes
    Lopez-Mellado, Ernesto
    Barragan-Perez, Ruben
    MODELLING AND SIMULATION IN ENGINEERING, 2024, 2024
  • [37] FAULT DIAGNOSIS FOR DISCRETE EVENT SYSTEMS MODELED BY BOUNDED PETRI NETS
    Ran, Ning
    Wang, Shouguang
    Su, Hongye
    Wang, Chengying
    ASIAN JOURNAL OF CONTROL, 2017, 19 (04) : 1532 - 1541
  • [38] On supervisory control of a class of discrete event systems modelled by Petri nets
    Zhao, Mi
    Li, Zhiwu
    Zhou, MengChu
    2007 IEEE INTERNATIONAL CONFERENCE ON AUTOMATION SCIENCE AND ENGINEERING, VOLS 1-3, 2007, : 810 - 815
  • [39] TESTING DISCRETE EVENT SYSTEMS: SYNCHRONIZING SEQUENCES USING PETRI NETS
    Pocci, Marco
    Demongodin, Isabel
    Giambiasi, Norbert
    Giua, Alessandro
    22ND EUROPEAN MODELING AND SIMULATION SYMPOSIUM (EMSS 2010), 2010, : 241 - 246
  • [40] Fault diagnosis and identification of discrete event systems using Petri nets
    Fanti, Maria Pia
    Seatzu, Carla
    WODES' 08: PROCEEDINGS OF THE 9TH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS, 2008, : 432 - +
12345