论文部分内容阅读
本文在讨论Petri网静态结构和动态运行特性的基础上,给出了死锁的定义,描述了死锁的物理意义,并且给出了死锁的分析方法和检测算法.本文的研究对Petri网的工程应用具有基础性的重要作用.
Petri网死锁的分析与检测
【摘 要】
：
本文在讨论Petri网静态结构和动态运行特性的基础上,给出了死锁的定义,描述了死锁的物理意义,并且给出了死锁的分析方法和检测算法.本文的研究对Petri网的工程应用具有基础性
【机 构】
：
柳州广西工学院计算机工程系
【出 处】
：
计算机系统应用
【发表日期】
：
2004年11期
【基金项目】
：
广西自然科学基金
其他文献
本文构建了一个用于Geomedia图形访问的扩展类,文中对该扩展类的构造原理、构造方法和使用方法都作了详细的讨论。
本文首先分析了跨区域管理信息系统异地数据库信息同步面临的问题,提出了一种基于SQL Server触发器的异地数据库关键信息同步的通用解决方案,然后详细介绍了数据库更新的实施
缓冲区溢出(Buffer Overflow)是网络安全中最为常见的一种形式，它普遍存在于各类的操作系统及运行在操作系统上的应用软件中．是网络安全中最危险的漏洞之一．一个匿名的Internet
随着岛屿在世界政治、经济事务中所发挥的作用越来越大,岛屿和岛屿经济日益成为各国政府和国际学术界的关注重点.本文首先对岛屿经济体进行了基本分类,对国内外主要的岛屿机
高智能自动组卷算法要求找到最大程度地满足多重约束条件的试题组合。本文提出一种高智能自动组卷的算法模型。它利用树做为基本数据结构，充分考虑了多重组件因素之间的平衡，并
实时跟踪能量和电荷在分子体系内的转移，观察化学键的生成和断裂过程，追踪分子结构的重新排列和化学反应一直是物理学家和化学家的梦想。当飞秒激光脉冲出现后，使得科学家的梦想
日本“海洋立国”的海洋战略是2005年提出的,并在2007年制定了《海洋基本法》,从法律的角度奠定了依法治海的基础,其后自2008年起每5年修订“海洋基本计划”,至今已有三期,使
近期以来,由于二国内建筑用铝型材市场的供求基本_保持平衡状态,市场价格虽时有波动,但是整体价格水平一直维持在2.1—2.2万元/吨之间的相对稳定范围。有关人士对今后一段时