Petri网络
历史
Petri网是Carl Adam Petri于1962年在博士论文中首次提出来的。作为描述系统元素的异步并发操作的工作模型，Petri网在计算机等许多领域都获得了广泛的应用。Petri网是完全从过程的角度出发为复杂系统的描述与分析设计提供的一种有效的建模工具，能自然的描述并发、冲突、同步、资源争用等系统特性，并带有执行控制机制，同时还具备形式化步骤及数学图论相支持的理论严密性。值得一提的是Petri网的图形表达的直观性和便于编程实现的技术特点，使得它已经成为目前工作流及作业流建模的主要工具之一。本小节将使用Petri网作为作业流建模的工具，对网络自动攻击系统上的网络攻击作业流进行建模。首先将对Petri网的相关概念进行介绍。
概念
一个Petri网的结构元素包括:库所(place)、变迁(translation)和有向弧(arc)库所使用圆来标识，用于描述可能的系统局部状态。变迁使用矩形标识，用于描述修改系统状态的事件。有向弧可以从库所节点指向变迁节点，或者从变迁节点指向库所节点。通过有向弧描述库所和变迁之间的联系，等价于自动机中的状态转移函数，表示使事件发生的局部状态(因)或事件发生所引起的局部状态的变化(果)在Petri网模型中，系统的动态特性用令牌(token)标识，令牌表示为包含在库所节点中的圆点，它反映着库所代表的局部状态实现的动态情况。若某库所中包含一个令牌，则表示库所代表的局部状态的一次实现(条件或结果为真);若库所中无令牌，
则表示库所代表的局部状态尚未实现(条件或结果为假)。