Petri网应用相关论文
本文通过建立事务调度的Petri网模型,给出了并发控制系统判断数据库一致性的形式化方法,得到了判定可串行化调度的充要条件。本方法简便、......
本文主要介绍Petri网的发展,讨论Petri网的数学理论基础,分析高级Petri网,总结Petri网适用领域,最后指出Petri网的发展趋势。......