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
相关论文
共 41 条
  • [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.
    CYBERNETICS AND SYSTEMS ANALYSIS, 2018, 54 (04) : 650 - 661
  • [2] ON THE INVARIANTS OF COLORED PETRI NETS
    NARAHARI, Y
    VISWANADHAM, N
    LECTURE NOTES IN COMPUTER SCIENCE, 1986, 222 : 330 - 345
  • [3] MODELING CONCURRENT PROGRAMS WITH COLORED PETRI NETS
    STANSIFER, R
    BEAVEN, M
    MARINESCU, DC
    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
    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
    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
    INSTRUMENTATION, MEASUREMENT, CIRCUITS AND SYSTEMS, 2012, 127 : 829 - 836
  • [7] PARALLEL SYSTEMS SPECIFICATIONS WITH COLORED PETRI NETS AND ALGEBRAIC SPECIFICATIONS
    VAUTHERIN, J
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 266 : 293 - 308
  • [8] Mapping Petri nets to parallel programs in CC++
    Yao, WL
    He, XD
    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
    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
    TRANSACTIONS ON PETRI NETS AND OTHER MODELS OF CONCURRENCY VI, 2012, 7400 : 146 - 168
12345