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 条
  • [1] Systematic structural modelling of discrete event systems using Petri nets
    Kerckhoffs, EJH
    Bobeanu, CV
    SIMULATION IN INDUSTRY 2001, 2001, : 949 - 958
  • [2] Online diagnosis of discrete event systems based on Petri Nets
    Basile, Francesco
    Chiacchio, Pasquale
    De Tommasi, Glanmaria
    WODES' 08: PROCEEDINGS OF THE 9TH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS, 2008, : 436 - +
  • [3] Petri nets and the control of discrete event systems
    Petrinetze und die steuerung ereignisdiskreter systeme
    1600, Springer Verlag (37):
  • [4] Petri nets for the control of discrete event systems
    Alessandro Giua
    Carla Seatzu
    Software & Systems Modeling, 2015, 14 : 693 - 701
  • [5] Petri nets for the control of discrete event systems
    Giua, Alessandro
    Seatzu, Carla
    SOFTWARE AND SYSTEMS MODELING, 2015, 14 (02): : 693 - 701
  • [6] Analysis of Discrete Event Systems with Petri Nets
    Mata, Guelvis
    Mendez, Arnado
    Cardillo, Juan
    Chacon, Edgar
    CIENCIA E INGENIERIA, 2016, 37 (02): : 53 - 58
  • [7] Modelling approach for Discrete Event Systems through Petri Nets and Timed Automata
    Mhamdi, L.
    Dhouibi, H.
    Simeu-Abazi, Z.
    Liouane, N.
    2013 INTERNATIONAL CONFERENCE ON CONTROL, DECISION AND INFORMATION TECHNOLOGIES (CODIT), 2013, : 166 - 171
  • [8] Distributed Implementation of Discrete Event Control Systems based on Petri Nets
    Piedrafita Moreno, Ramon
    Tardioli, Danilo
    Villarroel Salcedo, Jose Luis
    2008 IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS, VOLS 1-5, 2008, : 496 - 503
  • [9] PETRI NETS AT MODELLING AND CONTROL OF DISCRETE-EVENT SYSTEMS WITH NONDETERMINISM - PART 2
    Capkovic, Frantisek
    COMPUTING AND INFORMATICS, 2019, 38 (03) : 728 - 764
  • [10] Petri nets modelling for control of discrete events systems
    Deschamps, E.
    Henry, S.
    Zamai, E.
    2006 IMACS: MULTICONFERENCE ON COMPUTATIONAL ENGINEERING IN SYSTEMS APPLICATIONS, VOLS 1 AND 2, 2006, : 904 - +
12345