网络安全模型:是动态网络安全过程的抽象描述,通过对安全模型的研究,通过对安全模型的研究,了解安全动态过程的构成因素,是构建合理而实用的安全策略体系的前提之一。为了达到安全防范的目标,需要建立合理的网络安全模型,立合理的网络安全模型,以指导网络安全工作的 部署和管理。
petri网是carl adam petri于1962年在博士论文中首次提出来的。作为描述系统元素的异步并发操作的工作模型,petri网在计算机等许多领域都获得了广泛的应用。 petri网是完全从过程的角度出发为复杂系统的描述与分析设计提供的一种有效的建模工具,能自然的描述并发、冲突、同步、资源争用等系统特性,并带有执行控制机制,同时还具备形式化步骤及数学图论相支持的理论严密性。
一个petri网的结构元素包括:库所(place)、变迁(translation)和有向弧(arc)库所使用圆来标识,用于描述可能的系统局部状态。变迁使用矩形标识,用于描述修改系统状态的事件。有向弧可以从库所节点指向变迁节点,或者从变迁节点指向库所节点。通过有向弧描述库所和变迁之间的联系,等价于自动机中的状态转移函数,表示使事件发生的局部状态(因)或事件发生所引起的局部状态的变化(果)在petri网模型中,系统的动态特性用令牌 (token)标识,令牌表示为包含在库所节点中的圆点,它反映着库所代表的局部状态实现的动态情况。若某库所中包含一个令牌,则表示库所代表的局部状态的一次实现(条件或结果为真);若库所中无令牌,
则表示库所代表的局部状态尚未实现(条件或结果为假)。
用户登录
还没有账号?立即注册
用户注册
投稿取消
文章分类: |
|
还能输入300字
上传中....