A Petri Net-Based Model of Self-adaptive Systems and Its (Semi-)Automated Support

被引：0
|
作者：
Capra, Lorenzo [1 ]
机构：
[1] Univ Milan, Dipartimento Informat, Milan, Italy
来源：
TRENDS AND INNOVATIONS IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 1 | 2020年 / 1159卷
关键词：
Evolving systems; Petri nets; Emulation;
D O I：
10.1007/978-3-030-45688-7_70
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Classical Petri Nets are not suitable for describing systems with an adaptable layout. A model based on Symmetric Nets (SN) has been recently introduced. It is composed of a SN emulating the behaviour of any base-level Place/Transition net (encoded as a marking), and an API for basic net-transformation primitives. In this paper, we discuss about the automation of the modelling process and the issues related to analysis complexity, proposing a more effective formalization of the base-level. The discussion is accompanied by a simple running example.
引用
收藏
页码：715 / 725
页数：11
相关论文
共 48 条
  • [31] Petri net-based reliability and availability analysis to support asset management: a CODOG propulsion system case study
    de Andrade Melani, Arthur Henrique
    de Carvalho Michalski, Miguel Angelo
    da Silva, Renan Favarao
    Netto, Adherbal Caminada
    Martha de Souza, Gilberto Franciso
    IFAC PAPERSONLINE, 2022, 55 (19): : 19 - 24
  • [32] Cholesterol Metabolism Pathways Disturbances in Atherosclerosis-Analyses Using Stochastic Petri Net-Based Model
    Rybarczyk, Agnieszka
    Formanowicz, Dorota
    Radom, Marcin
    Formanowicz, Piotr
    APPLIED SCIENCES-BASEL, 2023, 13 (10):
  • [33] A prioritized Petri Net model and its application in distributed multimedia systems
    Guan, SU
    Yu, HY
    Yang, JS
    IEEE TRANSACTIONS ON COMPUTERS, 1998, 47 (04) : 477 - 481
  • [34] Key Therapeutic Targets to Treat Hyperglycemia-Induced Atherosclerosis Analyzed Using a Petri Net-Based Model
    Rybarczyk, Agnieszka
    Formanowicz, Dorota
    Formanowicz, Piotr
    METABOLITES, 2023, 13 (12)
  • [35] Transition Cover-Based Design of Petri Net Controllers for Automated Manufacturing Systems
    Liu, Huixia
    Xing, Keyi
    Zhou, MengChu
    Han, Libin
    Wang, Feng
    IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2014, 44 (02): : 196 - 208
  • [36] Graph Grammar Based Petri Nets Model of Concurrency for Self-adaptive hp-Finite Element Method with Rectangular Elements
    Szymczak, Arkadiusz
    Paszynski, Maciej
    PARALLEL PROCESSING AND APPLIED MATHEMATICS, PT I, 2010, 6067 : 95 - 104
  • [37] A Formal Model for Quality-Driven Decision Making in Self-Adaptive Systems
    Kachi, Fatma
    Bouanaka, Chafia
    Merkouche, Souheir
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2020, (329): : 48 - 64
  • [38] Time-Varying Automated Manufacturing Systems and Their Invariant-Based Control: A Petri Net Approach
    Chen, Chen
    Hu, Hesuan
    IEEE ACCESS, 2019, 7 : 23149 - 23162
  • [39] Petri Net Based Model Checking for the Collaborative-ness of Multiple Processes Systems
    Liu, Guanjun
    Jiang, Changjun
    2016 IEEE 13TH INTERNATIONAL CONFERENCE ON NETWORKING, SENSING, AND CONTROL (ICNSC), 2016,
  • [40] Petri-Net-Based Model Checking for Privacy-Critical Multiagent Systems
    He, Leifeng
    Liu, Guanjun
    Zhou, Mengchu
    IEEE TRANSACTIONS ON COMPUTATIONAL SOCIAL SYSTEMS, 2023, 10 (02) : 563 - 576
12345