Temporal Petri nets model of concurrent systems

被引：0
|
作者：
Ding, ZJ [1 ]
Jiang, CJ
机构：
[1] Tongji Univ, Dept Comp Sci & Engn, Shanghai 200092, Peoples R China
[2] Shandong Univ Sci & Technol, Dept Comp Sci & Engn, Tai An 271019, Peoples R China
来源：
COMPUTER SYSTEMS SCIENCE AND ENGINEERING | 2002年 / 17卷 / 06期
关键词：
dining philosopher's problem; Petri net; temporal logical;
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
In this paper, we use temporal Petri nets as a tool for designing a model of the dining philosopher's problem. On the one, hand, we describe the systemic construction and dynamic action of this problem by using Petri nets; on the other hand, we use temporal logic to represent formally requirement criterion of the systemic verification. Then, combining the method of reachability of Petri nets and induction of temporal logic formulas, we analyze and verify the properties of the dining philosopher's problem, such as reachability, Mutual exclusion and starvation-free.
引用
收藏
页码：353 / 358
页数：6
相关论文
共 50 条
  • [1] Compositional model checking of concurrent systems, with Petri nets
    Sobocinski, Pawel
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2016, (204): : 19 - 30
  • [2] Petri Nets for Systems Concurrent Engineering
    Garbi, Giuliani Paulineli
    Loureiro, Geilson
    [J]. IMPROVING COMPLEX SYSTEMS TODAY, 2011, : 75 - 82
  • [3] Petri nets compressibility and capacity of concurrent systems
    Gurjao, EC
    de Assis, FM
    Perkusich, A
    Pimentel, C
    [J]. 2003 IEEE INTERNATIONAL SYMPOSIUM ON INFORMATION THEORY - PROCEEDINGS, 2003, : 250 - 250
  • [4] Efficient analysis of concurrent systems by Petri nets
    Hiraishi, K
    [J]. ELECTRONICS AND COMMUNICATIONS IN JAPAN PART III-FUNDAMENTAL ELECTRONIC SCIENCE, 1998, 81 (09): : 29 - 36
  • [5] INTRODUCTION TO NUMERICAL PETRI NETS, A GENERAL GRAPHICAL MODEL OF CONCURRENT PROCESSING SYSTEMS
    SYMONS, FJW
    [J]. AUSTRALIAN TELECOMMUNICATION RESEARCH, 1980, 14 (01): : 28 - 33
  • [6] SYMBOLIC EXECUTION OF CONCURRENT SYSTEMS USING PETRI NETS
    GHEZZI, C
    MANDRIOLI, D
    MORASCA, S
    PEZZE, M
    [J]. COMPUTER LANGUAGES, 1989, 14 (04): : 263 - 281
  • [7] PERFORMANCE EVALUATION OF CONCURRENT SYSTEMS USING PETRI NETS
    MAGOTT, J
    [J]. INFORMATION PROCESSING LETTERS, 1984, 18 (01) : 7 - 13
  • [8] MODEL OF CONCURRENT PROCESSES SYNCHRONIZATION USING PETRI NETS
    GOETZ, J
    LETU, QH
    [J]. SYSTEMS ANALYSIS MODELLING SIMULATION, 1989, 6 (07): : 539 - 543
  • [9] CONCURRENT BISIMULATIONS IN PETRI NETS
    BEST, E
    DEVILLERS, R
    KIEHN, A
    POMELLO, L
    [J]. ACTA INFORMATICA, 1991, 28 (03) : 231 - 264
  • [10] Concurrent temporal planning using timed Petri nets - Policy evaluation
    Liew, Melissa
    White, Langford B.
    [J]. AI 2007: ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2007, 4830 : 727 - 731
12345