论文部分内容阅读
Petri网的理论方法在并发异步通信控制中已得到广泛的应用,但在其相关的指控信息网中,死锁的检测与排除仍然是人们关注的重点和热点之一。提出一种基于Petri网的指控信息系统死锁的检测方法。其主要做法是:先将信息系统规范化整理后,采用Petri网理论抽取其数学模型,再将该模型进行规范化整理。从转移操作的线性排队中,逐个搜索,找出其信息输入的条数,并造表统计。然后对每一条进行逆向搜索,若发现任一处信息断链,则该转移操作有可能发生死锁;否则认为通达,该转移是活的。经应用结果统计分析,该方法可有效地应用在信