论文部分内容阅读
文章以结构化的作业网络（JNW）为模型，在描述作业控制流中的基本路由结构：顺序、循环、选择和并行的基础上，将Petri网引入到JNW的建模中，并用Petri网的可达图来检验作业网络模型的正确性。
基于Petri网的作业网络模型的正确性研究
【摘 要】
：
文章以结构化的作业网络（JNW）为模型，在描述作业控制流中的基本路由结构：顺序、循环、选择和并行的基础上，将Petri网引入到JNW的建模中，并用Petri网的可达图来检验作业网络模型的正
【机 构】
：
西北工业大学自动化学院
【出 处】
：
微电子学与计算机
【发表日期】
：
2006年7期
其他文献
我国金融体制改革的最终目标就是要建立一个与社会主义市场经济相适应的自由、开放、安全、高效的金融服务体系.从路径上讲,主要是加快国有银行制度创新和业务创新、资本市场
核机器（Kernel Machine）已成为机器学习领域的热点研究问题。针对只具有离散属性的分类问题，在对合取范式进行深入分析的基础上提出了一族新的布尔核函数。利用这些布尔核函数，可
本文针对目前单Agent系统的一些缺点,提出采用多Agent技术实现搜索引擎的功能.系统具有计算效率高、可靠性强、可扩充性好、强健壮性、软件可复用性好的优点.并对系统要解决
本文依据CSCW技术和现代多媒体通讯技术,建立实现一个实时远程教学系统,可依此来完成网上实时的虚拟课堂、实时同步的考试与监督、实时的师生间及学生间的交互、使教师和学生
近年来,无线技术的发展促进了移动计算的研究,但是多数移动数据库系统使用传统的客户机/服务器模式或单代理模式处理移动查询,进而产生了数据大量迁移的问题.文章提出了一种
运动矢量估计问题是当今一个热点问题，它在诸如视频编码、目标实时跟踪等众多领域都有着广泛的应用，目前普遍采用的估计算法是块匹配算法（BMA）。经典的块匹配算法有顺序排除算法（S
本文结合国家863项目T比特高性能路由器的研发,提出了一种基于FPGA实现的支持IPv4,IPv6和MPLS的10Gbps线路接口实现方案,设计了一种支持9M容量10G线速数据查表的流水线查表结
小微企业在发展过程中受到诸多因素的限制,融资难就是其中之一。本文立足河南省小微企业,分析河南小微企业所面临的融资困境及导致这些困境的原因,最后提出相应对策。
Small
中国近十多年，经历了三次“笑”的消费高潮。“笑”的消费趋向理性，“笑”的市场化和消费化趋势，以及消费社会的表演化风尚，是小品繁荣、小品“笑星”辈出的根本原因之所在。
网络安全问题不是单一的某项技术所能解决的问题,而是一个立体的多维的策略.因此,要解决安全问题,则必须关注其所有的环节,包括操作系统安全,应用安全,数据传输安全等.而身份