SEQUENTIAL AND CONCURRENT BEHAVIOR IN PETRI NET THEORY

被引：157
|
作者：
BEST, E [1 ]
DEVILLERS, R [1 ]
机构：
[1] UNIV LIBRE BRUXELLES,INFORMAT THEORIQUE LAB,B-1050 BRUSSELS,BELGIUM
来源：
THEORETICAL COMPUTER SCIENCE | 1987年 / 55卷 / 01期
关键词：
All Open Access; Bronze;
D O I：
10.1016/0304-3975(87)90090-9
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
COMPUTER METATHEORY
引用
收藏
页码：87 / 136
页数：50
相关论文
共 50 条
  • [1] Verification of the behavior of Sequential Function Chart based on its Petri net model
    Miyazawa, I
    Tanaka, H
    Sekiguchi, T
    ETFA '97 - 1997 IEEE 6TH INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION PROCEEDINGS, 1997, : 532 - 537
  • [2] A concurrent and compositional Petri net semantics of preemption
    Klaudel, H
    Pommereau, F
    INTEGRATED FORMAL METHODS, PROCEEDINGS, 2000, 1945 : 318 - 337
  • [3] PETRI NET MODELS OF CONCURRENT ADA PROGRAMS
    STANSIFER, R
    MARINESCU, D
    MICROELECTRONICS AND RELIABILITY, 1991, 31 (04): : 577 - 594
  • [4] Evolving Concurrent Petri Net Models of Epistasis
    Mayo, Michael
    Beretta, Lorenzo
    INTELLIGENT INFORMATION AND DATABASE SYSTEMS, PT II, PROCEEDINGS, 2010, 5991 : 166 - +
  • [5] On properties of concurrent system based on Petri net language
    Jiang, Chang-Jun
    Lu, Wei-Ming
    Ruan Jian Xue Bao/Journal of Software, 2001, 12 (04): : 512 - 520
  • [6] Consistency algorithm based on Petri net for concurrent design
    Chen, M
    Yin, YX
    Tu, XY
    CONCURRENT ENGINEERING: THE WORLDWIDE ENGINEERING GRID, PROCEEDINGS, 2004, : 1067 - 1070
  • [7] Verification of Concurrent Programs Using Petri Net Unfoldings
    Dietsch, Daniel
    Heizmann, Matthias
    Klumpp, Dominik
    Naouar, Mehdi
    Podelski, Andreas
    Schaetzle, Claus
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2021, 2021, 12597 : 174 - 195
  • [8] THE BEHAVIOR OF A PETRI NET ON A SUBSET OF TRANSITIONS
    ANDRE, C
    RAIRO-AUTOMATIQUE-SYSTEMS ANALYSIS AND CONTROL, 1983, 17 (01): : 5 - 21
  • [9] A systematic approach to the Petri net based specification of concurrent systems
    Mazzeo, A
    Mazzocca, N
    Russo, S
    Vittorini, V
    REAL-TIME SYSTEMS, 1997, 13 (03) : 219 - 236
  • [10] BRANCH TESTING OF CONCURRENT PROGRAMS USING PETRI NET MODELS
    HO, HF
    CHEN, GH
    KUO, TS
    COMPUTING SYSTEMS, 1990, 5 (02): : 116 - 125
12345