共查询到18条相似文献,搜索用时 73 毫秒
1.
冯复剑 《计算机应用与软件》2019,36(7)
为了解决实时系统中流程相似性的判定问题,提出一种基于流程中活动的拓扑结构和触发点的流程相似性度量方法。采用延迟时间Petri网(Delay Time Petri Nets,DTPN)模型来表示流程,用于找出流程的触发调度;定义活动时间约束路由关系,给出它们之间的距离和相似度计算公式,进而计算出流程之间的相似度;在此基础上设计相关算法,并且分析时间复杂度。通过实例验证了该算法在时间约束工作流相似性度量方面的有效性。 相似文献
2.
郭清 《计算机与数字工程》2000,28(4):15-20
本文主要介绍了多媒体系统中的媒体同步技术和基于Petri网的多种同步模型,并讨论了交互式同步模型ISPN。该模型支持用户交互的多媒体同步关系描述,是一种灵活的动态规范。 相似文献
3.
4.
时间Petri网分析工具的实现 总被引:2,自引:0,他引:2
时间Petri网是非常适合描述实时系统的模型工具,由于时间的复杂性因素使得它的可达性分析变得非常困难。该文在分析了基于全局时间变量的时间Petri网的可达性算法的基础上,采用OOP技术,实现了一个时间petri网的分析工具。 相似文献
5.
基于Petri网的RBAC策略验证的研究 总被引:5,自引:1,他引:5
本文为RBAC模型提出了一个基于着色Petri网的策略规格说明和分析的架构.Petri网能够捕获基数、责任分离等约束,而且能对优先和依赖约束进行说明、使用Petri网的可达到性分析技术对RBAC策略进行正确性验证. 相似文献
6.
7.
广泛研究使用的OWL-S Web服务交互规范作为一种半形式化的描述语言,在服务组合的验证上存在缺陷。而Petri网作为一种模型描述语言,尤其适合并发系统的描述。因此,使用Petri网对OWL-S流程模型进行建模,通过将工作流信息转化为Petri网描述,从而对OWL-S流程模型进行安全性(safeness)和活性(liveness)检验,是一个非常有意义的尝试。此外,对Petri网的分析与优化,能够反作用于OWL-S流程模型,消除原有模型的冗余并提高流程模型的合理性。 相似文献
8.
广泛研究使用的OWL-Sweb服务交互规范作为一种半形式化的描述语言,在服务组合的验证上存在缺陷。而Petri网作为一种模型描述语言,尤其适合并发系统的描述。因此,使用Petri网对OWL-S流程模型进行建模,通过将工作流信息转化为Petri网描述,从而对OWL-S流程模型进行安全性(safeness)活性(hveness)检验,是一个非常有意义的尝试。此外,对Petri网的分析与优化,能够反作用于OWL-S流程模型,消除原有模型的冗余并提高流程模型的合理性。 相似文献
9.
随着SIP(Session Initiation Protocol)被3G通信选择为下一代移动网络的会话控制机制,保证SIP协议设计和实现无缺陷、运行稳定可靠成为SIP协议应用过程中亟需研究和解决的关键问题。充分利用时间着色Petri网(Timed Colored Petri Nets,TCPN)在描述和分析具有复杂交互行为及时间约束的系统方面的优势,给出了SIP协议的层次TCPN模型,并集成多种模型分析技术,完成SIP协议设计的正确性验证;同时通过正则表达式完成协议模型的生成路径分析,指出其中存在的死锁状态并分析原因。提出了相应的协议设计改进方案,验证了设计方案的正确性,从而有效增强了SIP协议在实际应用中的可行性和可靠性。 相似文献
10.
工作流管理系统最主要的功能是要能够对业务流程的变化做出有效的反应。然而,当前的工作流管理系统并不能灵活应对业务流程的频繁变化,因为它们对所建的工作流模型几乎没有任何检查,以保证一些最低限度的正确性。本文结合Petri网相关理论技术,提出一种将过程模型验证机制集成到工作流流程定制组件中的方法,并对所采用的验证方案进行阐述。 相似文献
11.
时间Petri网(TPNs)是实时系统时间特性常用的描述和验证的Petri网模型,可达性分析是Petri网模型最基本分析方法.基于"状态类(State-class)"的可达性分析方法不能正确计算并发情况下的时间延迟,而基于"带时间戳的状态类(CS-class)"的可达性分析方法不能正确处理冲突情况下的事件调度,因此提出了"扩展的带时间戳的状态类(ECS-class)"可达性分析方法.它不仅正确的计算时间延迟,而且合理地调度事件.并对一个时间Petri网模型进行可达性分析验证. 相似文献
12.
企业过程模型评价效果很难通过简单途径取得定量的对比分析结果,本文提出时间约束Petri网理论,在企业过程模型的主要指标采用Little转化为以时间为主的评价体系的基础上,研究采用时间约束Petri网建模对企业过程模型分析的方法和分析优化步骤,并针对广电网络过程模型的具体流程给出的实际案例加以形式化分析,得出优化的方案. 相似文献
13.
WSCI是一种Web服务组合标记语言,对于一些关键的业务流程,任何设计错误都会造成重大损失,因此有必要为WSCI语言建立形式化模型并给予分析,从而保证正确的业务流程部署。本文主要给出了WSCI的分析方法,基于文献[1]给出了形式化模型,提出了该形式化模型下的一种网融合方法。该方法将表示进程的网模型与其表示例外处理和子流程的网模型进行合并,形成统一的网模型。本文最后还给出了在该网模型下的可达图分析方法,从而达到分析带有例外处理的WSCI形式化模型的目的。 相似文献
14.
15.
We introduce a way of viewing Petri nets as open systems. This is done by considering a bicategory of cospans over a category of p/t nets and embeddings. We derive a labelled transition system (LTS) semantics for such nets using GIPOs and characterise the resulting congruence. Technically, our results are similar to the recent work by Milner on applying the theory of bigraphs to Petri Nets. The two main differences are that we treat p/t nets instead of c/e nets and we deal directly with a category of nets instead of encoding them into bigraphs. 相似文献
16.
Reachability Problems and Abstract State Spaces for Time Petri Nets with Stopwatches 总被引:2,自引:0,他引:2
Bernard Berthomieu Didier Lime Olivier H. Roux François Vernadat 《Discrete Event Dynamic Systems》2007,17(2):133-158
Several extensions of Time Petri nets (TPNs) have been proposed for modeling suspension and resumption of actions in timed systems. We first introduce a simple class of TPNs extended with stopwatches (SwTPNs), and present a semi-algorithm for building exact representations of the behavior of SwTPNs, based on the known state class method for Time Petri nets. Then, we prove that state reachability in SwTPNs and all similar models is undecidable, even when bounded, which solves an open problem. Finally, we discuss overapproximation methods yielding finite abstractions of their behavior for a subclass of bounded SwTPNs, and propose a new one based on a quantization of the polyhedra representing temporal information. By adjusting a parameter, the exact behavior can be approximated as closely as desired. The methods have been implemented, experiments are reported. 相似文献
17.
基于模糊Petri网的并行推理算法的矩阵维数越大,其算法的时间复杂度也就越高。针对反向搜索压缩模糊Petri网模型的相关理论和并行推理算法的特点,结合矩阵命令提出一种实现双向推理的矩阵运算机制,以及其对应的基于模糊Petri网的双向并行推理算法。在使用一般模糊推理算法的过程中,推理矩阵为(11×8)维的模糊Petri网模型,而使用改进算法进行双向推理时所涉及的推理矩阵阶数仅为(7×6)。实验结果表明,与一般的模糊推理算法和反向搜索算法相比,该算法能够提高整个推理过程的并行度,降低算法的时间复杂度,从而提高推理效率。 相似文献