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 条
  • [21] Recursive Petri nets - Theory and application to discrete event systems
    Haddad, Serge
    Poitrenaud, Denis
    ACTA INFORMATICA, 2007, 44 (7-8) : 463 - 508
  • [22] Detectability in Discrete Event Systems Using Unbounded Petri Nets
    Zhu, Haoming
    Liu, Gaiyun
    Yu, Zhenhua
    Li, Zhiwu
    MATHEMATICS, 2023, 11 (18)
  • [23] Coordination control of discrete event systems using Petri nets
    Pellicer, JE
    Carelli, R
    BALANCED AUTOMATION SYSTEMS II: IMPLEMENTATION CHALLENGES FOR ANTHROPOCENTRIC MANUFACTURING, 1996, : 519 - 529
  • [24] Modeling Mutual Exclusion of Discrete Event Systems with Petri Nets
    Mata, Guelvis
    Mendez, Arnaldo
    Cardillo, Juan
    Chacon, Edgar
    CIENCIA E INGENIERIA, 2015, 36 (02): : 111 - 119
  • [25] Reliability analysis of discrete event dynamic systems with Petri nets
    Sadou, Nabil
    Demmou, Hamid
    RELIABILITY ENGINEERING & SYSTEM SAFETY, 2009, 94 (11) : 1848 - 1861
  • [26] Diagnosis of discrete event systems with Petri nets and coding theory
    Lefebvre, Dimitri
    ICINCO 2008: PROCEEDINGS OF THE FIFTH INTERNATIONAL CONFERENCE ON INFORMATICS IN CONTROL, AUTOMATION AND ROBOTICS, VOL RA-1: ROBOTICS AND AUTOMATION, VOL 1, 2008, : 15 - 22
  • [27] USING PETRI NETS AND RULE-BASED SYSTEM IN MANUFACTURING SYSTEMS
    RILLO, M
    ARTIFICIAL INTELLIGENCE IN SCIENTIFIC COMPUTATION : TOWARDS SECOND GENERATION SYSTEMS, 1989, 2 : 315 - 317
  • [28] USING PETRI NETS AND RULE-BASED SYSTEM IN MANUFACTURING SYSTEMS
    RILLO, M
    MODELLING AND SIMULATION OF SYSTEMS, 1989, 3 : 147 - 149
  • [29] High Level Petri Nets, a Tool for Modelling and Analysis of Distributed Systems.
    Mueller, Horst
    Informationstechnik, 1988, 30 (02): : 110 - 117
  • [30] Fault diagnosis of PLC-based discrete event systems using Petri nets
    Li, Yongyao
    Wang, Ya
    Zhu, Guanghui
    Yin, Li
    Zhang, Huimin
    MEASUREMENT & CONTROL, 2022, 55 (9-10): : 960 - 973
12345