reachabili相关论文
本文研究概率逻辑中推导可能世界的Ｐｅｒｔｉ模型，该模型为可能世界的产生提供有效算法，这个算法被证明是正确的，它可以产生所有的一致的可能世......
关注商品消费安全是经济活动的迅猛发展的必然要求.在综合分析现有工作流建模技术的基础上,引入YAWL这一新技术,结合商品安全消费......
以前用着色Petri网验证协议,大多只验证了其正确性,采用着色Petri网对自行设计的基于PKI的动态身份认证系统的安全性进行了描述和......
