NONLINEAR INVARIANTS FOR COLORED PETRI NETS WITH INTERDEPENDEN TOKENS - APPLICATION TO THE PROOF OF PARALLEL PROGRAMS

被引：0
|
作者：
VAUTHERIN, J
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1986年 / 222卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：418 / 434
页数：17
相关论文
共 40 条
  • [1] AUTOMATING THE CONVERSION OF COLORED PETRI NETS WITH QUALITATIVE TOKENS INTO COLORED PETRI NETS WITH QUANTITATIVE TOKENS
    Hlomozda, D. K.
    Glybovets, M. M.
    Maksymets, O. M.
    [J]. CYBERNETICS AND SYSTEMS ANALYSIS, 2018, 54 (04) : 650 - 661
  • [2] ON THE INVARIANTS OF COLORED PETRI NETS
    NARAHARI, Y
    VISWANADHAM, N
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1986, 222 : 330 - 345
  • [3] MODELING CONCURRENT PROGRAMS WITH COLORED PETRI NETS
    STANSIFER, R
    BEAVEN, M
    MARINESCU, DC
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 1994, 26 (02) : 129 - 148
  • [4] GENERALIZED INVERSES AND THE CALCULATION OF SYMBOLIC INVARIANTS FOR COLORED PETRI NETS
    SILVA, M
    MARTINEZ, J
    LADET, P
    ALLA, H
    [J]. TSI-TECHNIQUE ET SCIENCE INFORMATIQUES, 1985, 4 (01): : 113 - 126
  • [5] A reliability analysis of distributed programs with Colored Petri Nets
    Hong, SB
    Kim, K
    [J]. SMC '97 CONFERENCE PROCEEDINGS - 1997 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5: CONFERENCE THEME: COMPUTATIONAL CYBERNETICS AND SIMULATION, 1997, : 3975 - 3980
  • [6] Modeling Parallel MPI Programs in Petri Nets
    Zhang, Peng
    Qi, Mei
    [J]. INSTRUMENTATION, MEASUREMENT, CIRCUITS AND SYSTEMS, 2012, 127 : 829 - 836
  • [7] PARALLEL SYSTEMS SPECIFICATIONS WITH COLORED PETRI NETS AND ALGEBRAIC SPECIFICATIONS
    VAUTHERIN, J
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1987, 266 : 293 - 308
  • [8] Mapping Petri nets to parallel programs in CC++
    Yao, WL
    He, XD
    [J]. TWENTIETH ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE (COMPSAC'96), PROCEEDINGS, 1996, 20 : 70 - 75
  • [9] An application of conditional colored Petri nets:: Active database system
    Li, X
    Chapa, SV
    Marín, JM
    Cruz, JM
    [J]. 2004 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOLS 1-7, 2004, : 4885 - 4890
  • [10] Verifying Parallel Algorithms and Programs Using Coloured Petri Nets
    Westergaard, Michael
    [J]. TRANSACTIONS ON PETRI NETS AND OTHER MODELS OF CONCURRENCY VI, 2012, 7400 : 146 - 168
1234