Frequency Probabilistic Risk Assessment Using Coloured Petri Nets for Telemedicine

被引:0
|
作者
Fujita, K. [1 ]
Hiraishi, K. [1 ]
Aoki, T. [1 ]
机构
[1] Japan Adv Inst Sci & Technol, Sch Informat Sci, Nomi, Japan
关键词
Combined hazards; Coloured Petri Nets (CPN); frequency probabilistic risk assessment; telemedicine; natural hazards;
D O I
10.1109/ieem45057.2020.9309771
中图分类号
T [工业技术];
学科分类号
08 ;
摘要
Recently, threats such as global warming and epidemics have become more serious. For chronic patients, it is desirable to evaluate the residual risks of telemedicine more accurately, including for combined hazards. However, such comprehensive evaluations are difficult to perform using existing risk assessment methods because telemedicine systems are distributed. To the best of our knowledge, existing research does not take the problem sufficiently into account. To assess the residual risk of telemedicine accurately, we study risk assessment using Coloured Petri Nets (CPN) for telemedicine, which is a formal modeling language that is well suited for modeling and analyzing complex systems. We evaluate the residual risks using simulation function by CPN Tools and obtain the residual risks more accurately. Given the results of an experiment we conduct using CPN for telemedicine, we can confirm the probability of not being able to consult telemedicine and other probabilities. Moreover, CPN is found to be well suited for assessing the combined hazards more accurately. This is the first paper of frequency probabilistic risk assessment using CPN for telemedicine.
引用
收藏
页码:1098 / 1102
页数:5
相关论文
共 50 条
  • [1] A Telemedicine System Using Petri Nets
    Ruiz, Ivan
    Collazos, C. A.
    Sanz, Fredy A.
    Garcia, Jose
    De-la-Hoz-Franco, Emiro
    Melendez-Pertuz, Farid
    Mora, Cesar
    [J]. COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2019, PT II: 19TH INTERNATIONAL CONFERENCE, SAINT PETERSBURG, RUSSIA, JULY 1-4, 2019, PROCEEDINGS, PART II, 2019, 11620 : 758 - 766
  • [2] Performance analysis using coloured Petri nets
    Wells, L
    [J]. MASCOTS 2002: 10TH IEEE INTERNATIONAL SYMPOSIUM ON MODELING, ANALYSIS, AND SIMULATION OF COMPUTER AND TELECOMMUNICATIONS SYSTEMS, PROCEEDINGS, 2002, : 217 - 221
  • [3] From Coloured Petri Nets to Object Petri Nets
    Lakos, C
    [J]. APPLICATION AND THEORY OF PETRI NETS 1995, 1995, 935 : 278 - 297
  • [4] A Behaviour Model for Risk Assessment of Complex Systems Based on HAZOP and Coloured Petri Nets
    Arena, Damiano Nunzio
    Kiritsis, Dimitris
    Trapani, Natalia
    [J]. ADVANCES IN PRODUCTION MANAGEMENT SYSTEMS: INNOVATIVE PRODUCTION MANAGEMENT TOWARDS SUSTAINABLE GROWTH (AMPS 2015), PT I, 2015, 459 : 573 - 581
  • [5] Refinement of coloured Petri nets
    Best, E
    Thielke, T
    [J]. FUNDAMENTALS OF COMPUTATION THEORY, PROCEEDINGS, 1997, 1279 : 105 - 116
  • [6] On the abstraction of Coloured Petri Nets
    Lakos, C
    [J]. APPLICATION AND THEORY OF PETRI NETS 1997, 1997, 1248 : 42 - 61
  • [7] Coloured Batches Petri Nets
    Caradec, M
    Prunet, F
    [J]. MANAGEMENT AND CONTROL OF PRODUCTION AND LOGISTICS, VOL 1 AND 2, 1998, : 227 - 232
  • [8] Specifying and analyzing software safety requirements of a frequency converter using coloured Petri nets
    Wells, L
    Maier, T
    [J]. APPLICATIONS AND THEORY OF PETRI NETS 2005, PROCEEDINGS, 2005, 3536 : 403 - 422
  • [9] Modelling and evaluation of QCN using coloured petri nets
    Mliki, Hela
    Chaari, Lamia
    Kamoun, Lotfi
    [J]. PEER-TO-PEER NETWORKING AND APPLICATIONS, 2018, 11 (03) : 486 - 503
  • [10] Modelling and Control of AS/RS Using Coloured Petri Nets
    Kucera, Erik
    Haffner, Oto
    Kozak, Stefan
    [J]. 2016 CYBERNETICS & INFORMATICS (K&I), 2016,