搜索到850篇“ P/T_系统“的相关文章
- 一种Token Ring的P/T_系统模型与分析
- 2009年
- Token Ring是一种是一种LAN协议,通过围绕环的令牌授予工作站传输权限。本文用Petri网中最一般的P/T_系统模拟了Token Ring,并进行了分析。
- 孟永刚胡吉朝贺毅朝
- 关键词：P/T_系统令牌
- 基于扩展的P/T_系统工作流建模的研究
- 2007年
- 针对当前工作流建模中存在的一般图形化建模方法正确性不易验证或基于Petri网建模过于繁琐,程序不易实现的问题,提出了一个基于扩展的P/T_系统进行工作流建模的方法,并给出了正确性验证。该方法主要是通过扩展P/T_系统权函数可以取零值,并用变迁作为或分支节点实现选择和循环路由结构,使得建模在图形表示和程序实现上更加简单,同时保持了基于Petri建模的优点。
- 娄渊胜刘瑾黄龙达
- 基于扩展的P/T_系统工作流建模的研究
- 针对当前工作流建模中存在的一般图形化建模方法正确性不易验证或基于Petri网建模过于繁琐,程序不易实现的问题，提出了一个基于扩展的P/T_系统进行工作流建模的方法,并给出了正确性验证。
该方法主要是通过扩展P/...
- 娄渊胜刘瑾黄龙达
- 关键词：PETRI网建模工作流建模
- 文献传递
- 水下机器人系统的P/T_系统模型及分析技术
- 本文针对水下机器人系统建模问题作了以下几个方面的研究工作：
1.在理论上研究了基于可达树的系统性能分析方法。给出了动态死锁检测方法，针对于系统的完整性、覆盖性、有界性和冲撞性，分别提出了各自的判定算法。
...
- 刘心
- 关键词：水下机器人系统仿真
- 文献传递
- P/T_网与P/T_系统的同类性证明
- 2000年
- 在 Petri网研究领域中 ,一直把 P/ T网 (即经典意义上的 Petri网系统 )与 P/ T系统 (即库所 /变迁系统 )划分为两类不同的 Petri网进行研究。实际上 ,这两类 Petri网没有质的区别 ,只要适当做些技术性处理 ,并将这些技术性处理建立在严格的同类性证明之上 ,即可把它们视为同一类 Petri网系统。
- 乐晓波黄敏
- 关键词：PETRI网P/T_系统计算机科学
- 嵌入式轻量级工作流引擎研究及应用
- 工作流技术是一种正在迅速发展的软件技术，它在不同的行业已经得到了广泛应用。工作流技术得到重视的一个重要原因是它实现了信息系统的应用逻辑与过程逻辑的分离，是实现业务流程自动化的关键技术。工作流引擎是工作流管理系统的核心部分...
- 黄龙达
- 关键词：嵌入式工作流引擎组件复用数据持久层工作流技术
- 文献传递
- 基于Petri网的网上股票交易系统模拟与验证被引量：1
- 2006年
- 给出了基于时序Petri网下的网上证券交易系统,其模型过于复杂。由于Petri网本身很强的模拟能力,本文用P/T_系统,模拟了证券交易所的网上证券交易系统,进而用S-不变等方法对其进行了验证。
- 孟永刚宋文叶剑虹
- 关键词：PETRI网P/T_系统证券交易系统
- 基于扩展P/T-系统的工作流模型及执行算法研究被引量：6
- 2003年
- 根据PetriNet理论提出了基于扩展P/T＿系统的工作流模型及执行算法,并论证了保证工作流模型正确性的条件。该方法在模型的流关系上具有逻辑判断功能,使工作流执行中的控制关系通过资源携带的相关数据得以实现,解决了工作流中冲突关系的决策及处理发生权的判断问题,提高了工作流的性能。实例表明,该方法容易实现业务过程与系统模型的真实对应,具有直观、描述能力强、容易维护的优点,可保证系统具有良好的安全性、进展性等性能。
- 王玮徐丽杰王林
- 关键词：PETRINETP/T_系统工作流业务流程再造计算机支持协同工作
- Petri Net在软件安全性分析中的应用
- 韩翔宇
- 关键词：飞行控制软件PETRI网P/T_系统软件安全性分析
- SrO掺杂对ZnO-Sb_2O_3-P_2O_5系统封接玻璃结构和性能的影响被引量：1
- 2018年
- 采用熔融法制备了(50-x)ZnO-10Sb_2O_3-40P_2O_5-xSrO(x=0~10mol)系无铅磷酸盐封接玻璃,并借助红外光谱、热膨胀分析仪、电子扫描显微镜等对该系统玻璃的结构和性能进行了分析。结果表明,随SrO含量的增加,玻璃的密度先增大后减小,玻璃的化学稳定性得到明显的改善,当SrO的摩尔分数为8%时,玻璃的表面失重下降至1.43g/cm^(-3)。此外,随着SrO取代ZnO含量的不断增加,玻璃的转变温度(T_g)和玻璃软化温度(T_f)逐渐降低,玻璃的热膨胀系数逐渐增大。
- 贾波冯庆王宇飞李艳肖
- 关键词：低熔点玻璃化学稳定性
