INTRODUCTION TO NUMERICAL PETRI NETS, A GENERAL GRAPHICAL MODEL OF CONCURRENT PROCESSING SYSTEMS

被引：0
|
作者：
SYMONS, FJW
机构：
来源：
AUSTRALIAN TELECOMMUNICATION RESEARCH | 1980年 / 14卷 / 01期
关键词：
D O I：
暂无
中图分类号：
TN [电子技术、通信技术];
学科分类号：
0809 ;
摘要：
引用
收藏
页码：28 / 33
页数：6
相关论文
共 50 条
  • [31] A new paradigm for the numerical simulation of stochastic Petri nets with general firing times
    Horton, G
    SIMULATION IN INDUSTRY, 2002, : 129 - 136
  • [32] AN APPROACH TOWARDS THE VERIFICATION OF EXPERT SYSTEMS USING NUMERICAL PETRI NETS
    LIU, NK
    DILLON, T
    INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS, 1991, 6 (03) : 255 - 276
  • [33] Statistical Model Checking for hybrid Petri nets with multiple general transitions
    Pilch, Carina
    Remke, Anne
    2017 47TH ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS (DSN), 2017, : 475 - 486
  • [34] A solution to the problem of deadlocks in concurrent systems using Petri nets and integer linear programming
    Tricas, F
    Colom, JM
    Ezpeleta, J
    SIMULATION IN INDUSTRY'99: 11TH EUROPEAN SIMULATION SYMPOSIUM 1999, 1999, : 542 - 546
  • [35] PERFORMANCE EVALUATION OF CONCURRENT SYSTEMS USING CONFLICT-FREE AND PERSISTENT PETRI NETS
    MAGOTT, J
    INFORMATION PROCESSING LETTERS, 1987, 26 (02) : 77 - 80
  • [36] PERFORMANCE-MODEL OF SOFTWARE SYSTEMS USING PETRI NETS
    HURA, GS
    MICROELECTRONICS AND RELIABILITY, 1984, 24 (03): : 391 - 393
  • [37] Using Coloured Petri Nets to model and verify telecommunications systems
    Nepomniaschy, Valery
    Beloglazov, Dmitry
    Churina, Tatiana
    Mashukov, Mikhail
    COMPUTER SCIENCE - THEORY AND APPLICATIONS, 2008, 5010 : 360 - 371
  • [38] World Model for Testing Autonomous Systems Using Petri Nets
    Andrews, Anneliese
    Abdelgawad, Mahmoud
    Gario, Ahmed
    2016 IEEE 17TH INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING (HASE), 2016, : 65 - 69
  • [39] Model and control holonic manufacturing systems based on fusion of contract nets and Petri nets
    Hsieh, FS
    AUTOMATICA, 2004, 40 (01) : 51 - 57
  • [40] A verifiable low-level concurrent programming model based on colored Petri nets
    WANG ShengYuan & DONG Yuan Department of Computer Science and Technology
    Science China(Information Sciences), 2011, 54 (10) : 2013 - 2027
12345