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 条
  • [31] Frozen desire: The meaning of money
    不详
    VIRGINIA QUARTERLY REVIEW, 1998, 74 (02) : S61 - S61
  • [32] Assigning Ontological Meaning to Workflow Nets
    Soffer, Pnina
    Kaner, Maya
    Wand, Yair
    JOURNAL OF DATABASE MANAGEMENT, 2010, 21 (03) : 1 - 35
  • [33] Temporal knowledge representation and reasoning model based on Petri nets with time tokens
    Ribaric, S
    Basic, BD
    MELECON '96 - 8TH MEDITERRANEAN ELECTROTECHNICAL CONFERENCE, PROCEEDINGS, VOLS I-III: INDUSTRIAL APPLICATIONS IN POWER SYSTEMS, COMPUTER SCIENCE AND TELECOMMUNICATIONS, 1996, : 131 - 135
  • [34] Orbital Petri Nets: A Petri Net Class for Studying Orbital Motion of Tokens
    Torky, Mohamed
    Hassanein, A. E.
    PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON ADVANCED INTELLIGENT SYSTEMS AND INFORMATICS 2019, 2020, 1058 : 621 - 631
  • [35] A knowledge representation and reasoning based on Petri nets with Spatio-Temporal Tokens
    Ribaric, Slobodan
    Hrkac, Tomislav
    EUROCON 2007: THE INTERNATIONAL CONFERENCE ON COMPUTER AS A TOOL, VOLS 1-6, 2007, : 1038 - 1045
  • [36] Controlling Boundedness for Live Petri Nets
    Lomazova, Irina
    Popova-Zeugmann, Louchka
    Bartels, Arthur
    2017 4TH INTERNATIONAL CONFERENCE ON CONTROL, DECISION AND INFORMATION TECHNOLOGIES (CODIT), 2017, : 236 - 241
  • [37] Extended Coloured Petri Nets with structured Tokens Formal Method for Distributed Systems
    Al Ali, Khaoula
    Fengler, Wolfgang
    Daene, Bernd
    THEORY OF MODELING & SIMULATION: DEVS INTEGRATIVE M&S SYMPOSIUM 2011 (TMS-DEVS 2011) - 2011 SPRING SIMULATION, 2011, 43 (01): : 175 - 182
  • [38] Active tokens for modelling mental health care with coloured stochastic Petri nets
    Dammasch, Kristina
    Horton, Graham
    2007 INNOVATIONS IN INFORMATION TECHNOLOGIES, VOLS 1 AND 2, 2007, : 417 - 421
  • [39] Learn to Live The Meaning of the Parables
    Severins, Hannah
    LIBRARY JOURNAL, 1955, 80 (07) : 798 - 798
  • [40] Metal detector nets reassurance for frozen fish
    Anon
    Packaging Digest, 2001, 38 (07)
12345