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 条
  • [1] Temporal Petri nets model of concurrent systems
    Ding, ZJ
    Jiang, CJ
    COMPUTER SYSTEMS SCIENCE AND ENGINEERING, 2002, 17 (06): : 353 - 358
  • [2] Colored Petri Nets: A Graphical Language for Formal Modeling and Validation of Concurrent Systems
    Jensen, Kurt
    Kristensen, Lars M.
    COMMUNICATIONS OF THE ACM, 2015, 58 (06) : 61 - 70
  • [3] Compositional model checking of concurrent systems, with Petri nets
    Sobocinski, Pawel
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2016, (204): : 19 - 30
  • [4] Conceptual modeling of concurrent information systems with general morphisms of Petri nets
    Mikolajczak, B
    Wang, ZY
    INTELLIGENT INFORMATION PROCESSING AND WEB MINING, 2003, : 535 - 539
  • [5] Petri Nets for Systems Concurrent Engineering
    Garbi, Giuliani Paulineli
    Loureiro, Geilson
    IMPROVING COMPLEX SYSTEMS TODAY, 2011, : 75 - 82
  • [6] Efficient analysis of concurrent systems by Petri nets
    Hiraishi, K
    ELECTRONICS AND COMMUNICATIONS IN JAPAN PART III-FUNDAMENTAL ELECTRONIC SCIENCE, 1998, 81 (09): : 29 - 36
  • [7] Petri nets compressibility and capacity of concurrent systems
    Gurjao, EC
    de Assis, FM
    Perkusich, A
    Pimentel, C
    2003 IEEE INTERNATIONAL SYMPOSIUM ON INFORMATION THEORY - PROCEEDINGS, 2003, : 250 - 250
  • [8] PERFORMANCE EVALUATION OF CONCURRENT SYSTEMS USING PETRI NETS
    MAGOTT, J
    INFORMATION PROCESSING LETTERS, 1984, 18 (01) : 7 - 13
  • [9] SYMBOLIC EXECUTION OF CONCURRENT SYSTEMS USING PETRI NETS
    GHEZZI, C
    MANDRIOLI, D
    MORASCA, S
    PEZZE, M
    COMPUTER LANGUAGES, 1989, 14 (04): : 263 - 281
  • [10] MODEL OF CONCURRENT PROCESSES SYNCHRONIZATION USING PETRI NETS
    GOETZ, J
    LETU, QH
    SYSTEMS ANALYSIS MODELLING SIMULATION, 1989, 6 (07): : 539 - 543
12345