染色Petri网相关论文
随着经济的发展，企业内部以及企业之间日益膨胀的企业活动需要工作流技术的支持，因此对工作流系统的可用性、灵活性、效率性、安全性......
针对当前上下文感知研究大多集中于技术解决方案,缺乏理论上统一描述模型的问题,提出了基于进程代数的上下文感知模型(CAMBPA).该......
为了以可视化的方式验证扩展式动态环境演算范型对移动协同中移动性和协作性的描述能力及描述语义的正确性，提出了一种扩展式动态环......
边界网关协议（BGP）缺少形式化分析,为此,根据RFC 1771,针对2个BGP路由器间连接建立过程,使用染色Petri网建立层级模型。通过交互式仿......
提出一种基于染色Petri网的解决方案,可以提高这种处理模式的灵活性,增强其处理功能。为了解决主从实例同步问题,提出了层次染色标......
