S-不变量相关论文
可达性是Petri网最基本最重要的一种动态性质，其判定问题是Petri网理论研究的重要课题。本文借助代数方法对可达性进行分析，研究内容......
Petri网不仅可以采用可视化图形描述而且可被形式化的数学方法所支持,是一种形式化、图形化的分布式系统建模和分析工具。它不但能......
Perti网采用可视化图形描述但被形式化的数学方法所支持,表达离散事件动态系统的静态结构和动态变化。它是一种结构化的离散事件动......
该文是PETRI网在油站系统的设计,分析中的具体应用.介绍了用PETRI网描述系统的方法.给出了油站系统的几个关键功能模块的PETRI网说......
网格安全体系结构GSI保障了网格环境的安全认证和安全通信，它为网格环境提供了一系列的安全协议、安全服务和命令行程序。它在实现......
本文提出了一种新的求解网的S-不变量的方法。这种方法的基本思路是把一个网看作一个有向图，通过寻找网N的S-封闭基本有向贯通路簇......
为有效判定工作流网的S-可覆盖性，将工作流网的S-可覆盖性判定转化为线性规划问题，借助单纯形方法给出一个判定工作流网S-可覆盖......
S-不变量是对Petri网进行结构性质分析的重要工具,但S-不变量的求取尚无有效算法。主要分析了S-不变量极小支集的判定问题。结合Pe......
在高级Petri网的性质分析中,S—不变量的方法是一个重要的方法,如何计算高级Petri网的S—不变量是一个重要课题。本文基于复合标志......
给出了基于时序Petri网下的网上证券交易系统，其模型过于复杂。由于Petri网本身很强的模拟能力，本文用P/T_系统．模拟了证券交易所的网......
在基于Web组合服务电子商务模型中,通过将各种电子商务的Web服务进行组合和集成以创建动态电子商务应用。但在组合的过程中,带来了......
