MODELING DIGITAL CIRCUITS WITH DELAYS BY STOCHASTIC PETRI NETS

被引:0
|
作者
CASTAGNOLO, B
CORSI, F
机构
来源
MICROELECTRONICS AND RELIABILITY | 1983年 / 23卷 / 06期
关键词
D O I
10.1016/0026-2714(83)90523-1
中图分类号
TM [电工技术]; TN [电子技术、通信技术];
学科分类号
0808 ; 0809 ;
摘要
引用
收藏
页码:1075 / 1086
页数:12
相关论文
共 50 条
  • [21] Controlled stochastic Petri nets
    deMeer, H
    Dusterhoft, OR
    SIXTEENTH SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS, PROCEEDINGS, 1997, : 18 - 25
  • [22] REGENERATIVE STOCHASTIC PETRI NETS
    HAAS, PJ
    SHEDLER, GS
    PERFORMANCE EVALUATION, 1986, 6 (03) : 189 - 204
  • [23] Stochastic Decision Petri Nets
    Wittbold, Florian
    Bernemann, Rebecca
    Heckel, Reiko
    Heindel, Tobias
    Koenig, Barbara
    APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY, PETRI NETS 2023, 2023, 13929 : 264 - 285
  • [24] Stochastic Petri nets and their applications
    Trivedi, KS
    Sun, HR
    Cao, YH
    Ma, Y
    PERFORMANCE AND QOS OF NEXT GENERATION NETWORKING, 2001, : 283 - 298
  • [25] REGULAR STOCHASTIC PETRI NETS
    DUTHEILLET, C
    HADDAD, S
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 483 : 186 - 209
  • [26] Modeling by Petri Nets
    Kubatova, H.
    ACTA POLYTECHNICA, 2005, 45 (02) : 5 - 13
  • [27] Digital Circuit Petri Nets: A new Petri Net Type to Describe and Transform Digital Circuits for Product Safety Engineering
    Brandau, Christoph
    Potthoff, Nils
    Tutsch, Dietmar
    Lepich, Thomas D.
    2016 IEEE 6TH INTERNATIONAL CONFERENCE ON CONSUMER ELECTRONICS - BERLIN (ICCE-BERLIN), 2016,
  • [28] Limits of fluidification for a stochastic Petri Nets by timed continuous Petri Nets
    Benaya, N.
    El-Akchioui, N.
    Mourabit, T.
    2018 INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS AND COMPUTER VISION (ISCV2018), 2018,
  • [29] The Use of Petri Nets as the Basis of Algorithm for Gate Level Digital Circuits Simulation
    Lapin, A. V.
    Bulakh, D. A.
    Korshunov, A. V.
    Kazennov, G. G.
    PROCEEDINGS OF 2016 IEEE EAST-WEST DESIGN & TEST SYMPOSIUM (EWDTS), 2016,
  • [30] Logical PetriNet A Tool to Model Digital Circuit Petri Nets and Transform them into Digital Circuits
    Brandau, Christoph
    Tutsch, Dietmar
    MEASUREMENT, MODELLING AND EVALUATION OF COMPUTING SYSTEMS, MMB 2018, 2018, 10740 : 317 - 321