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 条
  • [1] Petri net-based engine for adaptive learning
    Vidal, Juan C.
    Lama, Manuel
    Bugarin, Alberto
    EXPERT SYSTEMS WITH APPLICATIONS, 2012, 39 (17) : 12799 - 12813
  • [2] A Petri Net-Based Model for Verification of Obligations and Accountability in Cooperative Systems
    Du, YuYue
    Jiang, ChangJun
    Zhou, MengChu
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2009, 39 (02): : 299 - 308
  • [3] Petri net-based modelling of workflow systems: An overview
    Salimifard, K
    Wright, M
    EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, 2001, 134 (03) : 664 - 676
  • [4] A Petri Net-Based Discrete-Event Control of Automated Manufacturing Systems with Assembly Operations
    Hu, Hesuan
    Zhou, MengChu
    IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY, 2015, 23 (02) : 513 - 524
  • [5] Petri Net-Based Robust Supervisory Control of Automated Manufacturing Systems With Multiple Unreliable Resources
    Abubakar, Umar Suleiman
    Liu, Gaiyun
    Uzam, Murat
    IEEE ACCESS, 2021, 9 : 100264 - 100278
  • [6] Verifying Petri Net-Based Process Models using Automated Planning
    Agostinelli, Simone
    Maggi, Fabrizio Maria
    Marrella, Andrea
    Mecella, Massimo
    2019 IEEE 23RD INTERNATIONAL ENTERPRISE DISTRIBUTED OBJECT COMPUTING WORKSHOP (EDOCW 2019), 2019, : 44 - 53
  • [7] Petri net-based modeling of a class of complex digital systems
    Jayaram, R
    Raman, S
    Raj, RV
    Patnaik, LM
    COMPUTERS & ELECTRICAL ENGINEERING, 1997, 23 (01) : 41 - 53
  • [8] A Self-Adaptive Learning Approach for Uncertain Disassembly Planning Based on Extended Petri Net
    Ren, Yaping
    Guo, Hongfei
    Li, Yun
    Li, Jianqing
    Meng, Leilei
    IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2023, 19 (12) : 11889 - 11897
  • [9] A Petri Net-Based Software Process Model for Developing Process-Oriented Information Systems
    Li, Yu
    Oberweis, Andreas
    INFORMATION SYSTEMS DEVELOPMENT: ASIAN EXPERIENCES, 2011, : 27 - 39
  • [10] Petri Net-based S3PR Models of Automated Manufacturing Systems with Resources and Their Deadlock Prevention
    Capkovic, Frantisek
    ACTA POLYTECHNICA HUNGARICA, 2023, 20 (06) : 79 - 96
12345