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 条
  • [41] A Petri-net-based model for the mathematical analysis of multi-agent systems
    Hiraishi, K
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2001, E84A (11) : 2829 - 2837
  • [42] A Time Petri Net-based Approach for Hard Real-Time Systems Scheduling Considering Dynamic Voltage Scaling, Overheads, Precedence and Exclusion Relations
    Tavares, Eduardo
    Maciel, Paulo
    Silva, Bruno
    Oliveira, Meuse, Jr.
    SBCCI2007: 20TH SYMPOSIUM ON INTEGRATED CIRCUITS AND SYSTEMS DESIGN, 2007, : 312 - 317
  • [43] Modeling and reachability analysis of synchronizing transitions bounded Petri net systems based upon semi-tensor product of matrices
    Na G.
    Xiaoguang H.
    Zengqiang C.
    Qing Z.
    Zengqiang, Chen (chenzq@nankai.edu.cn), 1600, Beijing University of Posts and Telecommunications (24): : 77 - 86
  • [44] TORA - A PETRI NET BASED TOOL FOR RAPID PROTOTYPING OF FMS CONTROL-SYSTEMS AND ITS APPLICATION TO ASSEMBLY
    MICOVSKY, A
    SESERA, L
    VEISHAB, M
    ALBERT, M
    COMPUTERS IN INDUSTRY, 1990, 15 (04) : 279 - 292
  • [45] Modeling and reachability analysis of synchronizing transitions bounded Petri net systems based upon semi-tensor product of matrices
    Gao Na
    Han Xiaoguang
    Chen Zengqiang
    Zhang Qing
    TheJournalofChinaUniversitiesofPostsandTelecommunications, 2017, 24 (01) : 77 - 86
  • [46] Zone-based formal specification and timing analysis of real-time self-adaptive systems
    Camilli, Matteo
    Gargantini, Angelo
    Scandurra, Patrizia
    SCIENCE OF COMPUTER PROGRAMMING, 2018, 159 : 28 - 57
  • [47] Toward a Petri Net Based Model to Control Conflicts of Autonomy between Cyber-Physical&Human-Systems
    Vanderhaegen, F.
    IFAC PAPERSONLINE, 2016, 49 (32): : 36 - 41
  • [48] Model of Data Collection Controller of Automated Processing Systems for Passenger Traffic Public Transport "Smart" City Based on Petri Nets
    Boreiko, Oleh
    Teslyuk, Vasyl
    2017 2ND IEEE INTERNATIONAL CONFERENCE ON ADVANCED INFORMATION AND COMMUNICATION TECHNOLOGIES-2017 (AICT 2017), 2017, : 62 - 65
12345