RELIABILITY BLOCK DIAGRAMS AND PETRI NETS

被引：5
|
作者：
JOLLER, JM
机构：
[1] Fachbereich Mathematik, Postfach 940, Fernuniversitat Hagen/AVZ, D-5800-Hagen, Germany
来源：
MICROELECTRONICS AND RELIABILITY | 1980年 / 20卷 / 05期
关键词：
D O I：
10.1016/0026-2714(80)90391-1
中图分类号：
TM [电工技术]; TN [电子技术、通信技术];
学科分类号：
0808 ; 0809 ;
摘要：
A transformation algorithm is given to find a ″Petri″ net representation corresponding to a reliability block diagram. Several examples are given to illustrate the dynamic character of this representation. As an application the author derives probability expressions from the ″Petri″ net representation.
引用
收藏
页码：613 / 624
页数：12
相关论文
共 50 条
  • [31] Reliability Analysis Of Wind Turbines Using Petri Nets
    Tazi, Nacef
    Chatelet, Eric
    Aissaoui, Abdel Ghani
    Bouzidi, Youcef
    2018 7TH INTERNATIONAL CONFERENCE ON RENEWABLE ENERGY RESEARCH AND APPLICATIONS (ICRERA), 2018, : 858 - 864
  • [32] Reliability design of industrial plants using Petri nets
    Bertolini, M
    Bevilacqua, M
    Mason, G
    Advanced Reliability Modeling, 2004, : 33 - 40
  • [33] A CIRCUIT ANALOGY FOR RELIABILITY BLOCK DIAGRAMS
    BROCK, BJ
    PROCEEDINGS ANNUAL RELIABILITY AND MAINTAINABILITY SYMPOSIUM, 1980, (NSYM): : 356 - 362
  • [34] Computation of Resource Circuits of Petri Nets by Using Binary Decision Diagrams
    Chen, YuFeng
    Liu, Ding
    Liu, GaiYun
    Barkaoui, Kamel
    2013 5TH INTERNATIONAL CONFERENCE ON MODELING, SIMULATION AND APPLIED OPTIMIZATION (ICMSAO), 2013,
  • [35] Computation of Minimal Siphons in Petri Nets by Using Binary Decision Diagrams
    Chen, Yufeng
    Liu, Gaiyun
    ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2013, 12 (01)
  • [36] Modeling and Race Detection of Ladder Diagrams via Ordinary Petri Nets
    Luo, Jiliang
    Zhang, Qi
    Chen, Xuekun
    Zhou, MengChu
    IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2018, 48 (07): : 1166 - 1176
  • [37] Efficient Unfolding of Coloured Petri Nets Using Interval Decision Diagrams
    Schwarick, Martin
    Rohr, Christian
    Liu, Fei
    Assaf, George
    Chodak, Jacek
    Heiner, Monika
    APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY (PETRI NETS 2020), 2020, 12152 : 324 - 344
  • [38] Formal Verification of UML State Machine Diagrams Using Petri Nets
    Lyazidi, Achraf
    Mouline, Salma
    NETWORKED SYSTEMS, NETYS 2019, 2019, 11704 : 67 - 74
  • [39] Petri nets and IDEF diagrams: Applicability and efficacy for business process modelling
    Bosilj-Vuksic, V.
    Hlupic, V.
    Informatica (Ljubljana), 2001, 25 (01) : 123 - 133
  • [40] Verifying SysML activity diagrams using formal transformation to Petri nets
    Huang, Edward
    McGinnis, Leon F.
    Mitchell, Steven W.
    SYSTEMS ENGINEERING, 2020, 23 (01) : 118 - 135
12345