【摘 要】
：
Petri网是德国科学家Petri六十年代提出的一种基于图形化和严格的数学定义的通用系统模型,主要用于描述系统中变迁和状态之间的关系,许多年来Petri网被广泛应用作为 各种并发
论文部分内容阅读
Petri网是德国科学家Petri六十年代提出的一种基于图形化和严格的数学定义的通用系统模型,主要用于描述系统中变迁和状态之间的关系,许多年来Petri网被广泛应用作为 各种并发系统的建模工具.为了体现程序系统的资源使用特征和程序语名之间的相互关系,该文定义了体现变量特征的Petri网PPNET(Programming Petri Net).PPNET保留Petri网网 状的结构框架以适应异步并行的要求,修改Petri网变迁规则以兼容消耗性、排他性的资源 流动和非消耗性、非排他性的资源使用.PPNET的特点在于采用了网状结构不依赖交叉语义 假设,无全局控制流,这些特征使得PPNET适合于描述程序语句及其相互关系.而出现网及 进程也很好地刻画了整个程序运行的变化和各语句与变量间的关系.文中详细地讨论了PPNET的定义及其基本现象和性质并与传统的Petri网进行比较,并在最后讨论了这种Petri网模 型的进一步的可能的改进和应用.该文所做工作得到了国家自然科学基金的支持,是作者课题组围绕交叉语义假设计的不依赖该假设的并行程序设计工具UNINET中网系统部分,PPNET 的研究为UNINET提供了语义分析的理论基础.
其他文献
网络管理是计算机网络的重要研究方向,有效的网络管理是计算机网络可靠,安全,正确运行的保障.该论文在把握计算机网络研究背景及发展动向的基础上,对高层综合网络管理系统所
该文比较详细地介绍了Intranet网上的有关基本概念;论述了Java语言的特点,虚拟 机技术及其它有关技术;着重分析了Web页面连接数据库的JDBC方法,以及Java的多线程编程技术;并
目前，不下百种的商用工作流管理系统业已问世，但在这些系统中仍存在着某些不足之处，例如，难于支持大规模应用场景中庞大的并发用户数量和进程数量，难以满足系统备份恢复以及可用性
该文首先从30路(E1)IP电话网关的总体方案和可行性出发,详细论述了构成IP网关的中继接口的原理和用数字中继卡实现中继接口功能的硬件结构和软件系统.然后介绍了网络传输部分
虚拟现实集先进的计算机图形学、人机交互技术、传感技术、人工智能等技术为一体,是20世纪科学技术进步的结晶。虚拟现实在医学领域、城市建设领域、航空航天领域、电子游戏
Web2.0时代,各种基于浏览器的应用愈加普及,对于计算机主机来说,浏览器无疑是非常重要的安全入口点。当前计算机和网络领域所存在的安全问题,很大一部分直接或者间接源于浏览
该文在对客户/服务器系统开发和集成框架技术进行较为深入的研究基础上,结合国家"九五"项目"集成化商业设计CAD技术的研究和产业化开发"和"八六三"项目"企业协同计算构件及其
该文重点研究了Windows 95平台下彩色喷墨打印机设备驱动程序的开发技术,综合论述了打印机驱动程序在Windows95打印子系统中的地位与作用、打印机驱动程序的开发途径 与开发
该文主要探讨了三种方向滤波器,即2D正交极可分滤波器、Gabor滤波器、LogGabor 滤波器的各自特点,并实际设计了这三种滤波器用于图象的方向和相位信息的提取.以相位信息的处
计算机的可靠性问题一直是人们关注的焦点,而计算机容错性能的评测是至今未解决的重要课题.故障注入技术被证明是容错性评测的一种有效手段.该文以星载计算机为背景设计了一