THE MEANING OF FROZEN TOKENS IN LIVE NETS

被引：0
|
作者：
陆维明
A.MERCERON
机构：
[1] Institute of Mathematics
[2] Beijing
[3] Laboratoire de Recherche en Informatique
[4] France
[5] University Paris-sud
[6] Academia Sinica
[7] 91405 Orsay Cedex
来源：
Science China Mathematics | 1989年 / 04期
关键词：
frozen token; live net; unfair occurrence;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
A concurrent system can be modeled by a Petri net. A live Petri net may have fro-zen tokens. It is showed that such tokens can be deleted if they are superfluous, and, whilethey are useful, can be defrozen if they became frozen due to unfair occurrences of tran-sitions, and, finaloy, some frozen tokens lead to more processes.
引用
下载
收藏
页码：459 / 469
页数：11
相关论文
共 50 条
  • [1] THE MEANING OF FROZEN TOKENS IN LIVE NETS
    LU, WM
    MERCERON, A
    SCIENCE IN CHINA SERIES A-MATHEMATICS PHYSICS ASTRONOMY, 1989, 32 (04): : 459 - 469
  • [2] THE MEANING OF FROZEN TOKENS IN LIVE NETS
    陆维明
    A.MERCERON
    ScienceinChina,SerA., 1989, Ser.A.1989 (04) : 459 - 469
  • [3] Free-Choice Petri Nets without Frozen Tokens, and Bipolar Synchronization Systems
    Wehler, Joachim
    FUNDAMENTA INFORMATICAE, 2010, 98 (2-3) : 283 - 320
  • [4] GENERALIZED NETS WITH VOLUMETRIC TOKENS
    Atanassova, Vassia
    COMPTES RENDUS DE L ACADEMIE BULGARE DES SCIENCES, 2012, 65 (11): : 1489 - 1498
  • [5] Petri nets without tokens
    Mazurkiewicz, Antoni
    Petri Nets and Other Models of Concurrency - ICATPN 2007, 2007, 4546 : 20 - 23
  • [6] PETRI NETS WITH INDIVIDUAL TOKENS
    REISIG, W
    THEORETICAL COMPUTER SCIENCE, 1985, 41 (2-3) : 185 - 213
  • [7] High-level nets with nets and rules as tokens
    Hoffmann, K
    Ehrig, H
    Mossakowski, T
    APPLICATIONS AND THEORY OF PETRI NETS 2005, PROCEEDINGS, 2005, 3536 : 268 - 288
  • [8] 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
  • [9] Nets with Tokens which Carry Data
    Lazic, Ranko
    Newcomb, Tom
    Ouaknine, Joel
    Roscoe, A. W.
    Worrell, James
    FUNDAMENTA INFORMATICAE, 2008, 88 (03) : 251 - 274
  • [10] Nets with tokens which carry data
    Lazic, Ranko
    Newcomb, Tom
    Ouaknine, Joel
    Roscoe, A. W.
    Worrell, James
    PETRI NETS AND OTHER MODELS OF CONCURRENCY - ICATPN 2007, 2007, 4546 : 301 - +
12345