State space axioms for T-systems

被引：10
|
作者：
Best, Eike [1 ]
Devillers, Raymond [2 ]
机构：
[1] Carl von Ossietzky Univ Oldenburg, Dept Comp Sci, D-26111 Oldenburg, Germany
[2] Univ Libre Bruxelles, Dept Informat, B-1050 Brussels, Belgium
来源：
ACTA INFORMATICA | 2015年 / 52卷 / 2-3期
关键词：
PETRI NETS;
D O I：
10.1007/s00236-015-0219-0
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
T-systems are generalisations of marked graph Petri nets. This paper describes synthesis algorithms that allow bounded or unbounded T-systems to be derived from finite or infinite labelled transition systems satisfying a set of necessary properties. These properties can thus be interpreted as axioms characterising T-system state spaces.
引用
收藏
页码：133 / 152
页数：20
相关论文
共 50 条
  • [1] Approximate throughput computation of stochastic weighted T-systems
    Perez-Jimenez, Carlos J.
    Campos, Javier
    Silva, Manuel
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2007, 37 (03): : 431 - 444
  • [2] Symbolic State Space Exploration of RT Systems in the Cloud
    Bellettini, Carlo
    Camilli, Matteo
    Capra, Lorenzo
    Monga, Mattia
    14TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC 2012), 2012, : 295 - 302
  • [3] State Space Characterization of Disjunctive Single-Unit Resource Allocation Systems
    Karoui, Oussama
    Khalgui, Mohamed
    Chen, Yufeng
    Wu, Naiqi
    Ateekh-Ur-Rehman
    Umer, Usama
    IEEE ACCESS, 2018, 6 : 51515 - 51527
  • [4] Diagnosability Analysis of Discrete Event Systems Using a Compact State Space Representation
    Zhang, Xiaoting
    Zhang, Jiafeng
    Zheng, Zhong
    Zheng, Hanyu
    Pu, Minglong
    Li, Zhiwu
    2021 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS (SMC), 2021, : 2531 - 2535
  • [5] Safety Analysis of Safety-Critical Systems Using State-Space Models
    Kumar, Vinay
    Singh, Lalit Kumar
    Tripathi, Anil Kumar
    Singh, Pooja
    IEEE SOFTWARE, 2017, 34 (04) : 38 - 45
  • [6] A compact timed state space approach for the analysis of manufacturing systems: key algorithmic improvements
    Mota, Miguel M.
    Piera, Miquel A.
    INTERNATIONAL JOURNAL OF COMPUTER INTEGRATED MANUFACTURING, 2011, 24 (02) : 135 - 153
  • [7] A Reduced Computation of State Space to Enforce GMECs and Deadlock-Freeness on TPN Systems
    Li, Liang
    Basile, Francesco
    Li, Zhiwu
    IFAC PAPERSONLINE, 2020, 53 (04): : 166 - 172
  • [8] Robust supervisory control for automated manufacturing systems with unreliable resources by analyzing reachable state space
    Feng, Yanxiang
    Ren, Sida
    Li, Xiaoling
    Cao, Ye
    Yang, Yikang
    INFORMATION SCIENCES, 2024, 664
  • [9] Transformation of deterministic models into state space models for safety analysis of safety critical systems: A case study of NPP
    Kumar, Vinay
    Singh, Lalit Kumar
    Tripathi, Anil Kumar
    ANNALS OF NUCLEAR ENERGY, 2017, 105 : 133 - 143
  • [10] State Space-Based Hybrid Heuristic Search Algorithm for Scheduling Deadlock-Prone Automated Manufacturing Systems
    Li, Xiaoling
    Zhou, MengChu
    Xing, Keyi
    Lu, Qingchang
    IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2024, 21 (03) : 4790 - 4807
12345