摘要
Petri网的活性判断一直是一个广为关心的问题。本文就公平网的活性进行了研究。指出如果一个公平网的有界子网是活的,那么该公平网是活的。并给出了一个公平网活的充分必要条件。
How to judge the liveness of Petri nets is a very important problem in studying Petri nets. In this paper, liveness of fair Petri nets is studied deeply. If the bounded sub-net of a fair Petri net is live, this fair Petri net is live.This conclusion is obtained in study. And a sufficient -necessary condition is also given.
出处
《计算机应用与软件》
CSCD
北大核心
2001年第12期8-10,共3页
Computer Applications and Software
