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 条
12345