【摘 要】
：
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年。随着中国经济的下行,目前的发展确实遇到了一定的困难。饲料行业中的每个人,都非常关心行业的未来发展。中国的饲料行业究竟