PETRI NETS AT MODELLING AND CONTROL OF DISCRETE-EVENT SYSTEMS WITH NONDETERMINISM - PART 2

被引：1
|
作者：
Capkovic, Frantisek [1 ]
机构：
[1] Slovak Acad Sci, Inst Informat, Dubravska Cesta 9, Bratislava 84507, Slovakia
来源：
COMPUTING AND INFORMATICS | 2019年 / 38卷 / 03期
关键词：
Analyzing; control synthesis; discrete-event systems; error recovery; interpreted Petri nets; modelling; labelled Petri nets; place/transition Petri nets; uncertainty; uncontrollable transitions; unmeasurable places; unobservable transitions; DEADLOCK PREVENTION; SIPHONS; POLICY;
D O I：
10.31577/cai_2019_3_728
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
Discrete-Event Systems (DES) are discrete in nature. Petri Nets (PN) are one of the most widespread tools for DES modelling, analyzing and control. Different kinds of PN can be used for such purposes. Some of them were described in [3], being the first part of this paper. Here, the applicability of Labelled PN (LbPN) and Interpreted PN (IPN) for modelling and control of nondeterministic DES, especially with uncontrollable and/or unobservable transitions in the models, will be pointed out. Moreover, another kinds of nondeterminism in DES (errors, failures) will be modelled, and the possibilities of the error recovery of failed system will be presented.
引用
收藏
页码：728 / 764
页数：37
相关论文
共 50 条
  • [1] PETRI NETS AT MODELLING AND CONTROL OF DISCRETE-EVENT SYSTEMS CONTAINING NONDETERMINISM - PART 1
    Capkovic, Frantisek
    [J]. COMPUTING AND INFORMATICS, 2018, 37 (05) : 1258 - 1292
  • [2] Petri Nets in Discrete-Event and Hybrid Systems Modelling, Analysing, Performance Evaluation and Control
    Capkovic, Frantisek
    [J]. AUTOMATION 2017: INNOVATIONS IN AUTOMATION, ROBOTICS AND MEASUREMENT TECHNIQUES, 2017, 550 : 3 - 21
  • [3] Control of Deadlocked Discrete-Event Systems Using Petri Nets
    Capkovic, Frantisek
    [J]. ACTA POLYTECHNICA HUNGARICA, 2022, 19 (02) : 213 - 233
  • [4] 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
    [J]. COMPUTING AND INFORMATICS, 2020, 39 (03) : 568 - 586
  • [5] Supervisory control of discrete-event systems using enabling arc Petri nets
    Wu, WM
    Su, HY
    Chu, C
    [J]. 2002 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, VOLS I-IV, PROCEEDINGS, 2002, : 1913 - 1918
  • [6] Diagnosability of Discrete-Event Systems Using Labeled Petri Nets
    Cabasino, Maria Paola
    Giua, Alessandro
    Seatzu, Carla
    [J]. IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2014, 11 (01) : 144 - 153
  • [7] Distributed diagnosis of discrete-event systems using Petri nets
    Genc, S
    Lafortune, S
    [J]. APPLICATIONS AND THEORY OF PETRI NETS 2003, PROCEEDINGS, 2003, 2679 : 316 - 336
  • [8] Precision Evaluation Methods of Petri Nets Modelling Discrete-Event Processes
    Lopez-Mellado, Ernesto
    Barragan-Perez, Ruben
    [J]. MODELLING AND SIMULATION IN ENGINEERING, 2024, 2024
  • [9] Petri nets and the control of discrete event systems
    Petrinetze und die steuerung ereignisdiskreter systeme
    [J]. 1600, Springer Verlag (37):
  • [10] Petri nets for the control of discrete event systems
    Alessandro Giua
    Carla Seatzu
    [J]. Software & Systems Modeling, 2015, 14 : 693 - 701
12345