一种Petri网结合遗传算法的优化方法及应用

根据实际优化问题，在时间Petri网和着色Petri网的基础上，提出了一种新的扩展Petri网（EPN）模型，并在EPN中定义了条件矩阵Q，给出了Petri网与遗传算法相结合的优化方法和具体算法，使用本优化方法，对一个车间作业（Job-shop）调度问题进行了求解，建立了该Job-shop调度的EPN模型，并采用单个体遗传算法对Petri网模型进行优化，结果证明了该建模和优化方法的有效性和正确性。     

Petri网的遗传算法在Job-Shop问题中的应用研究

提出了一种基于扩展时间Petri网(ETPN)的单亲遗传算法,并利用该算法对Job-Shop调度问题进行了求解.首先定义一种扩展时间Petri网,然后利用定义的扩展时间Petri网对Job-Shop调度问题进行建模,最后应用单亲遗传算法对模型进行优化调度.通过实例证明了该建模方法和优化算法的有效性和正确性.     

模糊Petri网模型的反向推理算法

提出了一种建立在模糊Petri网的基本结构上的反向推理算法．通过建立模糊Petri网模型的关联矩阵、库所向量和变迁向量，运用矩阵运算的基本方法实现．通过该算法的运行，可以在模糊Petri网模型中抽取出一个子模型，从而把一个大的、复杂的系统转化为一个只与问题相关的小的系统来处理．采用数学运算的方法实现的反向推理算法简单，具有通用性，它适用于各种类型的模糊Petri网结构．对于其它的大系统生成子系统的问题，这种矩阵运算的方法也可以借鉴．同时对该算法中的矩阵运算和模型中的图形结构之间的关系进行了分析，讨论了算法的复杂性．     

FMS的一种实时控制Petri网模型及应用

提出了一种对ＦＭＳ（ＦｌｅｘｉｂｌｅＭａｎｕｆａｃｔｕｒｉｎｇＳｙｓｔｅｍ——柔性制造系统）实时控制进行建模的Ｐｅｔｒｉ网工具——实时控制Ｐｅｔｒｉ网模型．该模型是通过对变迁和位置引入第二属性，即输出控制命令和传感器信息来实现的．最后用一个ＦＭＳ实例说明了建模过程．该模型可以很方便地转换为系统的控制代码或实时控制软件     

基于有色Petri网建模的AGVS优化调度规则研究

针对烟草行业卷接包生产车间的自动化物流系统，提出了基于有色Petri网建模的方法，设计出了一个有铲的AGVS优化调度规则专家系统，有效地提高了物流系统的生产效率。     

一种时延Petri网的死锁预防方法

针对时延Petri网的死锁预防问题,提出了一个有效的预防控制算法,将信标控制死锁预防的方法应用到时延Petri网中,不需要列举全部可达状态的情况下实现死锁预防,而且实现最后的控制器为活．首先将时延Petri网拉伸为拉伸时延Petri网(SPN),使得不改变原来系统性能的情况下,拉伸后的网所有变迁均为单位时延,然后针对SPN忽略时间因素,采用信标控制方法,根据所得标识约束添加控制库所,使所有严格极小信标均为P-不变式可控,最后还原时延Petri网,得到活的、结构简单的Petri网监督控制器．     

基于Petri网和遗传算法的飞行训练计划优化编排

为解决航空兵部队飞行训练计划的优化编排问题,以组成训练计划的科目为研究对象,提出一种基于赋时库所Petri网(timed place petri net,TPPN)的科目-空域占用过程仿真与遗传算法相结合的优化编排方法.该方法首先建立科目-空域占用关系表,并基于TPPN建立科目对空域的占用过程模型.采用遗传算法对空域占用过程进行优化,使用的染色体是由TPPN模型中的部分选择库所名称排列而成,每个染色体代表了一种科目-空域占用方案.利用基于TPPN的科目-空域占用过程仿真,得到每个染色体所对应的优化目标值.仿真试验证明,该方法融合了Petri网和遗传算法各自的优点,能够有效地实现航空兵部队飞行训练计划优化编排.     

离散自动制造系统Petri网的一种设计方法

文章力图以通信顺序进程为基础设计一种自动制造系统的规格说明语言，采用该语言所形成的描述语言可以自动转化为系统的Ｐｅｔｒｉ网模型．文章为复杂离散自动制造系统Ｐｅｔｒｉ网形式化设计理论的研究，开辟了一条新途径．     

一种基于Petri网的事务模型

提出了一种基于Ｐｅｔｒｉ网的关系数据库的事务模型，即事务网，它清晰地表明了数据与事务的相互依赖关系及事务之间的并发关系，可作为关系数据库逻辑设计阶段的重要工具。     

Petri网在FMS生产调度中避免死锁研究的应用

用着色面向资源的ｐｅｔｒｉ网模型来描述柔性制造系统中的工作竞争过程，该模型揭示了资源竞争过程的本质特征，从而推导出柔性制造系统中无死锁运行的条件，得出控制规律。     

基于Petri网的并行任务规划器

本文具体讨论了基于Ｐｅｔｒｉ网理论的并行任务规划器的设计与实现，提出将Ｐｅｔｒｉ网结合人工智能技术构造出基于网的智能系统来描述计算机集成制造系统（ＣＩＭＳ）的思路．该并行任务规划器已在ＳＵＮＳＰＡＲＣ机器上用Ｃ语言实现，达到预期设计目的     

一种基于Petri网的自动Web服务组合算法

为了自动获得性能最优的Web服务组合方案,提出一种自动Web服务组合算法．该方法根据用户的组合需求和已有的Web服务,自动生成服务组合的数据流模型,并用Petri网描述;通过抽取Petri网中变迁之间以及变迁序列之间的各种并发关系,得到性能最佳的Web服务组合方案,并将最佳方案转换为业务过程执行语言的抽象模板．与已有方法相比,该方法能有效地获得性能最佳的具有控制流结构的组合方案．     

基于遗传算法和蚂蚁算法求解函数优化问题

针对遗传算法求解精度低以及蚂蚁算法求解速度慢的问题，提出一种基于遗传算法和蚂蚁算法的混合算法.该混合算法利用了遗传算法快速随机的全局搜索能力的优点，设计了编码与适应度函数，进行了种群生成与染色体的选择，并通过设定交叉算子和变异算子， 生成了信息素分布.该混合算法利用了蚂蚁算法正反馈以及具有分布式并行全局搜索能力的优点，通过确定吸引强度的初始值，建立了强度更新的模型，从而求得精确解.并将该算法应用于求解函数优化问题.结果表明，该混合算法与遗传算法和蚂蚁算法相比，收敛速度快，寻优性能好.     

基于遗传算法与模式搜索的混合优化算法

为了更好地实现全局优化,提出一种遗传模式搜索(Genetic Pattern Search,GPS)算法,该算法结合了遗传算法(GA)的强全局搜索能力与泛化模式搜索算法(PS)的强局部搜索能力.算法流程分为两步:首先是GA与PS联合实现粗搜索;其次是PS实现细搜索.实验对Hump、Powell、Rosenbrock、Schaffer、Woods测试函数进行搜索,表明GPS算法的成功率明显优于改进遗传算法与改进模式搜索算法,可作为一种有效可行的全局优化算法.     

基于相似性遗传算法及其在JSP中的应用

提出一种基于个体相似性的改进算法, 当种群的多样性较好时,采用标准的交叉策略;当种群的多样性较差时,根据个体的相似性选择个体配对, 避免相同的个体配对交叉, 减少高度相似个体进行配对交叉的概率, 从而提高交叉操作的效率. 用该改进算法对基准作业车间调度问题（JSP）进行计算,仿真结果表明：该算法优于标准遗传算法.     

改进自适应遗传算法在函数优化中的应用研究

为了改善传统自适应遗传算法的收敛速度以及局部收敛问题,根据种群适应度的集中程度,以种群的最大适应度、最小适应度以及适应度平均值这3个变量为基础,设计了改进的自适应交叉概率和变异概率来调整整个种群的交叉概率和变异概率,提出了一种基于种群适应度集中程度的改进自适应遗传算法.将该算法应用于函数优化中,仿真结果验证了其具有"快速收敛"的特点,且在很大程度上可避免遗传算法的早熟现象.     

基于颜色Petri网的密码协议的分析

密码协议的成功设计是安全领域的关键问题之一，对密码协议进行形式化分析成为当前研究的热点，通过引入颜色Petri网来描述密码协议，并以TMN协议为例，利用Petri网的状态矩阵分析特性对其进行分析，发现并验证TMN协议的安全缺。最终说明利用Petri网分析密码协议是可行的。     

智能网业务中的Petri网建模及验证方法

在分析设计智能网业务的基础上提出了一种智能网业务逻辑的规范描述，将其中涉及并发、同步等的描述转化为Petri网模型，探讨了在该模型上的验证方法，并给出了一个应用该规范和模型的例子．