【摘 要】
:
Petri网是一种适合于并发系统建模、分析和控制的图形工具.可达树是Petri网分析的典型技术之一,它通过标识向量集合表征系统的状态空间,组合复杂性严重制约了该分析技术可处
【机 构】
:
西安电子科技大学电子工程学院,桂林电子科技大学计算机学院
【基金项目】
:
本课题得到国家自然科学基金(60963010,60903079)资助.
论文部分内容阅读
Petri网是一种适合于并发系统建模、分析和控制的图形工具.可达树是Petri网分析的典型技术之一,它通过标识向量集合表征系统的状态空间,组合复杂性严重制约了该分析技术可处理系统问题的规模.零压缩决策图(Zero-Suppressed Binary Decision Diagrams,ZBDD)是一种新型的数据结构,是表示和处理稀疏向量集合的一种有效技术.文章基于Petri网可达标识向量的稀疏特征,给出了Petri网分析的符号ZBDD技术,该技术通过对标识向量(状态)的布尔向量表示、可达标识向量(状态)的
其他文献
中国计算机大会(CNCC)是中国计算机学会2003年创建的系列性学术活动,是我国计算机科学和技术领域规模最大、级别最高的学术会议,所涉及的内容涵盖计算技术的重要领域,旨在展现我国
本实验以菜籽粕为底物,研究纤维素酶和木聚糖酶体外酶解菜籽粕的最适反应条件。分别在温度为35℃、37℃、39℃、41℃,以及p H为4.0、5.0、6.0、7.0、8.0的条件下,研究纤维素
针对网格环境的特点,分析了资源访问过程中所遇到的信任管理问题,通过引入管理域内和管理域间的实体问的信任关系,结合信任的主观性特点,提出了基于模糊集合的网格资源访问信任机
针对并行与分布式系统中相关任务的静态调度问题,以最小化调度长度为主要目标,以减少资源数为次要目标,对待复制的重要祖先集定义了新的选择策略,提出了基于任务复制的动态关键前
<正>1问题的提起中国的饲料行业高速发展了36年。随着中国经济的下行,目前的发展确实遇到了一定的困难。饲料行业中的每个人,都非常关心行业的未来发展。中国的饲料行业究竟
农村土地流转长期受到决策者的鼓励,但我国农村土地使用权流转率一直偏低,西部地区尤其如此。本文试图以陕西省为例,通过问卷调查和访谈,分析农地社会保障功能等因素影响农地使用
“德国品质,中国价格”是德马吉中国公司的经营宗旨。德马吉会深入了解客户需求,然后按照客户的需求做好市场布局。
探讨志贺氏菌显色培养基在饲料志贺氏菌检测中的应用。将痢疾志贺氏菌、福氏志贺氏菌、鲍氏志贺氏菌和宋氏志贺氏菌标准菌制备成10-5、10-6、10-7梯度稀释的菌液,对志贺氏菌