死锁控制论文

存在消耗型资源的一类Petri网模型运行控制研究
论文摘要Petri网是一种适合于描述异步并发的形式化系统模型。Petri网不仅有严格的数学表达形式与直观的图形表现形式,还具备对异步与并发系统进行系统描述与行为分析的功能,为计...