针对现有的案件处理系统功能单一、效率低、缺乏并行处理和协调优化能力，无法满足现代案件处理需求的问题，基于改进Petri网的工作流技术，解析案件处理特征，对案件处理系统动态过程进行规划、调度和调整，在建模过程中引入Petri网分布式处理框架和工作流的路由结构、触发机制，建立了一种改进Petri的网工作流案件分布式处理系统模型，并对模型进行定义化描述和合理性验证，为司法部门案件处理提供高效、安全、可靠的平台。

能够对面向对象Petri网、高级Petri网及带时间的Petri网进行分析，简单实现。

Petri网的定义 定义2.1 PN的结构是由4要元描述的一有向图： PNS=（P，T，I，O） 此处： （1）P={p1，…，pn}是库所的有限集合，n>0为库所的个数； （2）T={t1，…，tm}是变迁的有限集合，m>0为库所的个数； P∩Ｔ=⊙（空集） （3）I：P×T→N是输入函数，它定义了从P到T的有向弧的重复数或权（Weight）的集合，这里N={0，1…}为非负整数集； （4）O：T×P→N是输出函数，它定义了从T到P的有向弧的重复数或权的集合。

petri网基本知识，理论，定义，便于学习和理解。

鉴于传统合同网协议居高不下的通信量, 本文提出了智能合同网协议(ICP). 该协议对任务的发起者增加友好度因子, 对投标者加入信任度因子, 双方互相选择, 并及时动态更新友好度及信任度; 对每个动作添加时间因素, 用全局时钟控制整个模型; 为了降低通信量, 防止投标者无限制投标, 对投标者设定投标次数阈值; 并且对于没有中标的任务则设定流拍的次数. 根据历史投标记录, 智能调整各项参数. 本文利用颜色Petri网对ICP建模并仿真, 实验数据证明, ICP极大的降低了通信量, 缩短了运行时间, 提高了任务命中率.

：Stateflow是matlab环境下与simulink整合在一起的专门用来对复杂响应系统和事件驱动系统进行仿真的工具箱。应用 其对Petri网模型进行仿真，提出了一种对Petrl中资源的分类方法，根据petfi网中资源的流通方式将资源分为循环资源、非 循环资源．及隐性资源。并结合变迁的个数和激活方式给出了从一个已知的Petri网构造其相应的Stateflow的具体规则．及详 细步骤，最后结合某汽车冲压单元的建模进行举例说明。构造过程显示出文中提出的仿真方法具有使用简单、通用性强、扩 展性好的特点。

petri网的入门书籍，国内关于petri网最好的两本书之一

有色陪替氏网和CPN工具课程 可以从此处下载CPN工具： CPN书的主页可以在以下位置找到： : 阅读和准备 CPN模块基于以下列出的书籍章节和论文： 《彩色Petri网》一书的第1章和第2章： : CPN论文可通过以下： : 在有色Petri网的两个模块中，我们将使用CPN工具。 建议您在参加Petri Net课程之前先在PC上下载并安装该工具。 如果您在安装过程中遇到任何技术问题，请访问或联系讲师。 模块I-建模和CPN工具 第一个模块着重于彩色Petri网（CPN）建模语言的构造和定义。 CPN属于高级Petri网的类别，并将Petri网与功能性编程语言Standard ML（SML）结合在一起。 Petri网提供了用于对并发，通信和同步进行建模的原语，而SML提供了用于对数据操作进行建模以及创建紧凑和参数化模型的原语。 CPN和支持的计算机工具CPN工具在实践中已

首先把工程规划中有向网络转换成带时间状态的Petri网，利用Petri网的分析方法对其不合理之处加以剖析，修正其中可能蕴含的错误，接着运行该网络并进行剪枝优化，自动获取关键路径。该方法比传统算法的执行效率要高，更易于实现。

Petri网是一种可以用网状图 形表示的系统模型.它不仅仅 是一种可以用数学图形表示 的数学对象,它首先是一种物 理对象,因为它把尊重自然规 律作为第一要义,这样可以确 保以Petri网为模型描述的系 统都是可以实现的