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 条
  • [21] LIVE METAPHORS OF MEANING
    Zinchenko, V. P.
    PSYCHOLOGY-JOURNAL OF THE HIGHER SCHOOL OF ECONOMICS, 2016, 13 (03): : 471 - 487
  • [22] Television and the Meaning of Live
    Nyre, Lars
    NEW MEDIA & SOCIETY, 2015, 17 (02) : 308 - 310
  • [23] Modeling multiphased missions using stochastic Petri nets with aging tokens
    Volovoi, V
    ANNUAL RELIABILITY AND MAINTAINABILITY SYMPOSIUM, 2004 PROCEEDINGS, 2004, : 232 - 236
  • [24] Influence Tokens: Analysing Adversarial Behaviour Change in Coloured Petri Nets
    Carmichael, Peter
    Morisset, Charles
    Gross, Thomas
    6TH WORKSHOP ON SOCIO-TECHNICAL ASPECTS IN SECURITY AND TRUST (STAST 2016), 2016, : 29 - +
  • [25] Modelling of batch production systems using Petri nets with dynamic tokens
    López-Mellado, E
    Villanueva-Paredes, N
    Almeyda-Canepa, H
    MATHEMATICS AND COMPUTERS IN SIMULATION, 2005, 67 (06) : 541 - 558
  • [26] Ant Colony Optimization Approach to Tokens' Movement within Generalized Nets
    Atanassova, Vassia
    Atanassov, Krassimir
    NUMERICAL METHODS AND APPLICATIONS, 2011, 6046 : 240 - +
  • [27] Algorithms for Tokens Transfer in Different Types of Intuitionistic Fuzzy Generalized Nets
    Atanassov, Krassimir
    Dimitrov, Dimitar
    Atanassova, Vassia
    CYBERNETICS AND INFORMATION TECHNOLOGIES, 2010, 10 (04) : 22 - 35
  • [28] Generalized nets with special types initial tokens' characteristics. IV
    Antassov, K.T.
    Advances in Modelling and Analysis A: General Mathematical and Computer Tools, 1993, 17 (01): : 47 - 54
  • [29] Generalized nets with special types initial tokens' characteristics. I
    Atanassov, K.T.
    Advances in Modelling and Analysis A: General Mathematical and Computer Tools, 1993, 17 (01): : 25 - 31
  • [30] Frozen desire: The meaning of money
    Brooks, D
    COMMENTARY, 1998, 105 (02) : 65 - 66
12345