Petri网的空标识及相关性质研究

来源 :计算机科学 | 被引量 : 0次 | 上传用户:jacobyuanwei
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在一个网系统中,如果每个库所中的标志数都等于0,则说这个网系统中的标识是一个空标识。文[1]通过例子指出空标识可以是一个网系统的初始标识,也可以是具有非空初始标识的网系统的一个可达标识。文[2]讨论了空标识的再现性。本文给出了空标识在网系统运行过程中重复出现的一个例子,并对上述3种情况的实际背景以及相关的网结构性质进行了讨论。
其他文献
利用有向带权伪图(Directed Weighted False Chart, DWFC)表示面向对象程序中类内部成员间的依赖关系,提出一种基于DWFE的面向对象类内聚度量方法,结合PSP(Personal Software Proc
传统的编译中间代码通常不能在移动、嵌入式和分布式等环境之间转换,而符号表的构造与管理贯穿整个中间代码的生成过程。本文提出一种基于XML Schema及其相关技术生成编译中间
DNA微阵列技术使同时监测成千上万的基因表达水平成为可能.直接把传统聚类算法用于高维基因表达数据分析会受到"维难"的困扰.特征转换和特征选择是两种常用的降维方式,但前者产
针对标准人工免疫算法存在的早熟收敛和后期收敛速度慢的问题,本文提出了一种基于小生境技术和聚类分析的改进的人工免疫算法。首先运用嵌入进化标记的小生境技术对初始种群进
选播是定义在IPv6中的一种新型的网络服务。它可以实现一台主机与一组目的主机之间最“近”的一个通信。本文提出了一种负载均衡选播路由算法,并利用改进的遗传算法求最优解。
传感器网络技术的发展导致了在应用与网络之间建立中间件,根据系统资源及网络能源保证在网络上并发运行的应用的QoS。首先,本文结合传感器网络的特性及实时应用的特点,定义了一
为了解决系统建模中的子系统共享问题,提出了经由非对称选择网类共享一种子网构成共享子网合成网的解决方案;研究了共享子网合成网的结构性质,提出了共享子网合成网保持结构
可分割任务调度在科学和工程计算领域中具有重要的地位,其有效调度算法的设计对并行分布式处理的计算效率至关重要。UMR(Uniform Multi-Round)算法通过限定每次传输到工作节点
先天性生殖器官发育异常合并无性细胞瘤及浆液性囊腺瘤为罕见的一种先天畸型,作者在2003年病检工作中发现1例,现报告如下.
PERM算法是当前蛋白质结构预测的格子模型优化算法中最为有效的一种算法,在该算法的基础上,我们提出了一种改进的增长算法IPERM。该方法简化了PERM算法中的权重计算公式,在遇到