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 条
  • [21] Task planning and formal control of robotic assembly systems: A Petri net-based approach
    Gelen, Gokhan
    Icmez, Yasemin
    AIN SHAMS ENGINEERING JOURNAL, 2024, 15 (07)
  • [22] Modelling of the effectiveness of integrating additive manufacturing technologies into Petri net-based manufacturing systems
    Patalas-Maliszewska, Justyna
    Wisniewski, Remigiusz
    Topczak, Marcin
    Wojnakowski, Marcin
    2022 IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS (FUZZ-IEEE), 2022,
  • [23] 1ST - A PETRI NET-BASED SYSTEM FOR SIMULATION OF COMPLEX DISTRIBUTED MANUFACTURING SYSTEMS
    RIGHINI, G
    COMPUTER INTEGRATED MANUFACTURING SYSTEMS, 1990, 3 (04): : 252 - 263
  • [24] On anti-occurrence of subsets of transitions in Petri net-based models of complex biological systems
    Gutowska, Kaja
    Formanowicz, Piotr
    BIOSYSTEMS, 2022, 222
  • [25] Trust-Based Petri Net Model for Fault Detection and Treatment in Automated Manufacturing Systems
    Alzalab, Ebrahim Ali
    El-Sherbeeny, Ahmed M.
    El-Meligy, Mohammed A.
    Rauf, Hafiz Tayyab
    IEEE ACCESS, 2021, 9 : 157997 - 158009
  • [26] Asynchronous-Channels Within Petri Net-Based GALS Distributed Embedded Systems Modeling
    Moutinho, Filipe
    Gomes, Luis
    IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2014, 10 (04) : 2024 - 2033
  • [27] A Petri net-based methodology to increase flexibility in service-oriented holonic manufacturing systems
    Quintanilla, F. Gamboa
    Cardin, O.
    L'Anton, A.
    Castagna, P.
    COMPUTERS IN INDUSTRY, 2016, 76 : 53 - 68
  • [28] Diagnosability of automated production systems using Petri net based models
    Sekhri, L
    Toguyéni, AKA
    Craye, E
    2004 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOLS 1-7, 2004, : 5091 - 5096
  • [29] A coloured Petri net-based hybrid heuristic search approach to simultaneous scheduling of machines and automated guided vehicles
    Baruwa, Olatunde T.
    Piera, Miquel A.
    INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, 2016, 54 (16) : 4773 - 4792
  • [30] Formalization and Petri net-Based Extension to Model Factors of State- Varying Failures for Reliability Modeling
    Lazarova-Molnar, Sanja
    INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY, 2013, 13 (07): : 14 - 21
12345