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 条
  • [41] A verifiable low-level concurrent programming model based on colored Petri nets
    Wang ShengYuan
    Dong Yuan
    SCIENCE CHINA-INFORMATION SCIENCES, 2011, 54 (10) : 2013 - 2027
  • [42] A verifiable low-level concurrent programming model based on colored Petri nets
    ShengYuan Wang
    Yuan Dong
    Science China Information Sciences, 2011, 54 : 2013 - 2027
  • [43] A Concurrent Coloured Petri Nets Model for Solving Binary Search Problem on a Multicore Architecture
    Al-Obaidi, Alaa M.
    Lee, Sai Peck
    SOFTWARE ENGINEERING AND COMPUTER SYSTEMS, PT 3, 2011, 181 : 463 - 477
  • [44] A Polynomial Algorithm to Performance Analysis of Concurrent Systems Via Petri Nets and Ordinary Differential Equations
    Ding, Zuohua
    Zhou, Yuan
    Zhou, MengChu
    IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2015, 12 (01) : 295 - 308
  • [45] Dynamic Petri-Nets: A new modeling technique for sensor networks and distributed concurrent systems
    Graff, Charles J.
    Giardina, Charles
    MILCOM 2005 - 2005 IEEE MILITARY COMMUNICATIONS CONFERENCE, VOLS 1-5, 2005, : 506 - 512
  • [46] NEW NP-COMPLETE PROBLEMS IN PERFORMANCE EVALUATION OF CONCURRENT SYSTEMS USING PETRI NETS
    MAGOTT, J
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1987, 13 (05) : 578 - 581
  • [47] CONCURRENT, REAL-TIME SYSTEMS: A SYSTEMATIC APPROACH USING TIMED PETRI NETS.
    Wong, C.Y.
    Dillon, T.S.
    Forward, K.E.
    Computer Systems Science and Engineering, 1987, 2 (03): : 117 - 124
  • [48] Towards a General Model to Handle Multi-enabledness in Time Petri Nets
    Abdelli, Abdelkrim
    FORMALISMS FOR REUSE AND SYSTEMS INTEGRATION, 2015, 346 : 103 - 131
  • [49] Real-time model for processing both scheduling and Petri nets approaches
    Mabed, M
    Bourcerie, M
    Modelling and Simulation 2003, 2003, : 489 - 493
  • [50] Modular rewritable Petri nets: An efficient model for dynamic distributed systems
    Capra, Lorenzo
    Köhler-Bußmeier, Michael
    Theoretical Computer Science, 2024, 990
12345