通过形式化定义了服务组合过程中的5种基本的逻辑结构,采用有色Petri网表示,并将其抽象成为服务的代数运算;在此基础上,
2012-03-01 15:55
Web服务组合技术对提高面向服务的体系结构(SOA)的软件开发效率是非常重要的。该文对基于Petri网的
2009-04-15 10:05
渗透测试是常用的网络安全保障方法。该文细化现有渗透测试过程，针对传统渗透测试模型存在的不足提出一种基于有色Petri网的攻击测试
2009-04-02 09:45
在均衡集群中请求的分配和选择服务是影响服务器集群性能的关键。本文基于随机高级Petri 网(SHLPN)模型提出了动态反
2009-08-15 09:48
线性时态逻辑Petri 网结合了Petri 网和时序逻辑的优点，清晰简洁的描述并发系统事件间的时序和因果关系，包括系统的活性和安全性。其中自动机的体积是
2009-08-31 16:14
针对系统动力学（SD）模型既无法表达延迟具有随机性，又无法描述不同状态之间存在的条件转移，以及随机Petri网（SPN）本身存在计算能力不足等问题，首先，将SPN进行扩展，提出了随机函数
2017-12-08 14:50
建立煤矿企业电子商务系统模型，促进电子商务系统在煤矿企业中的应用。针对煤矿企业电子商务系统的现状，在介绍Petri 网概念的基础上，利用Petri
2010-01-09 14:21
通过建立空间事件模型，扩展定义了空间事件复合算子及其语义；采用组合着色Petri网构造基于空间关系的复合事件检测模型并提
2010-07-17 14:55
本文分别用VHDL语言研究了几种Petri网系统的硬件实现，包括同步PN、时延PN，尤其是高级网系统有色PN。在当前的研究中有色
2021-04-30 06:13
基于扩展染色Petri网的工作流过程模型_周小聪
2017-03-16 09:59
