过程管理建模技术分析

过程建模是过程管理技术的基础，通过对过程和过程管理的特点和要求进行分析，建立了过程建模方法基本评价指标，并以这一标准为基础，对适合过程管理建模的主要工具IDEF族、EEPC、Petri网、RAD和DFD进行了分析比较，综合考虑各种工具的优缺点，提出了在过程管理建模中，以Petri网（或扩展Petri网）为主，IDEF族为辅的建模方法。     

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

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

云计算环境下基于Petri网的流程计费模型

通过分析云计算环境下服务模块流程组合的动态性,运用随机Petri网进行动态流程建模与追踪,给出了分层计费体系下的流程计费模型,使用Petri网对该计费流程进行建模分析和设计,便于云服务提供商实现基于状态的计费控制,从而优化计费策略.实现了云计算基于过程模型的服务计量,并根据该模型进行相应定价,用户即可按需付费.通过应用实例验证了该计费方法的有效性和可操作性,为云服务提供商计费决策提供了技术支撑.     

基于 TPNs 与 Flexsim 的空间飞行器测试流程仿真

为了优化空间飞行器测试流程,建立了空间飞行器测试的时间Petri网模型。通过分析时间Petri网模型的相关矩阵,对模型进行了验证。根据Petri网建立的模型,利用Flexsim仿真软件,建立了空间飞行器测试的仿真模型,运行该模型,对仿真结果进行分析,验证了设计的仿真模型的可行性,同时还分析了测试设备和操作人员的利用率,为设计批量空间飞行器技术测试的优化模型提供了依据。     

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

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

基于Petri网的发热门诊流程模型优化分析

疫情防控期间,为了充分发挥发热门诊的作用,提出了基于Petri网的发热门诊流程模型优化分析.首先,根据发热门诊的实际情况,通过库所与变迁之间的交互关系,用绘图软件Microsoft Visio构建了发热门诊流程的Petri网模型;然后,对构建的初始模型进行分析,发现模型中存在交叉感染、资源浪费的问题.论文通过改变Petri网之间的行为轮廓,对模型做出适当调整,进行优化.最后,对优化后的模型通过PIPE软件进行仿真模拟,验证其有效性.     

基于改进Petri网的复杂产品系统项目规划模型研究

针对复杂产品系统项目的规划方法进行了讨论,提出了一种将图形建模工具与项目管理工具集成运用的改进Petri网模型.该改进模型运用CPM方法对特定项目进行规划,然后对形成的CPM图进行Petri网转换,最后根据仿真结果得到动态的优化规划模型.案例证明了该改进模型的有效性和实用性.     

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

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

着色Petri网在应急联动系统中的建模与仿真分析

在分析应急联动系统业务流程的基础上,引入着色Petri网,并利用支持Petri网建模与仿真的成熟工具CPNTools实现了应急联动系统流程的建模与仿真,同时对所建模型的性能进行了分析.     

发送-接收问题的Petri网建模与验证

发送者-接收者(S-R)问题可以看作处理共享通道一个有代表性的问题.通过对文献[1]中模型的分析,结合Petri网的特点和网络环境下的系统,给出了一个实用性更强、功能扩展的Petri网模型.该模型允许外部环境加以控制,允许接收者强制取消接收以及发送者(接收者)按定量模式工作,可解决远程控制,流量控制,提高在实际网络环境中的通信质量.建立与Petri网模型相关联的关联矩阵,并使用关联矩阵对模型进行了验证.     

基于扩展Petri网的安全关键软件需求模型检验

Petri网是系统建模的形式化方法,为了解决其在软件需求建模和建立程序语义映射方面存在的不足,提出了一种扩展Petri网的方法来支持软件需求建模,区分了状态型和数值型库所,根据软件特点有针对性地扩展了变迁的可触发条件和迁移运算,同时建立了和模型检验程序语言的映射,将扩展Petri网作为检验的模型输入,利用时态逻辑描述运行性质,进行需求模型检验.定时器和航空发动机的防喘功能验证实例结果表明,扩展Petri网可以较好地支持软件系统需求建模和软件程序语义映射,通过模型检验和反例路径分析,可以达到修改和完善需求模型的目的,从而提高软件的质量和安全性.     

复杂分布式系统的面向智能agent建模

为了有效管理复杂分布式系统建造过程中的复杂性,提出了一种面向智能多agent系统的工程化软件建模技术.该方法使用扩展的UML用况图和顺序图来认定角色并建立角色模型,通过对agent的心智状态建模,使用扩展的UML状态图和Petri网图来发展agent自治行为和交互行为的动态模型.给出了一个覆盖了从问题域分析到生成agent类模型和agent交互模型全部过程的网络资源管理系统应用实例,并验证了建模方法抽象和管理系统复杂性的有效性.     

基于RCEPN的资源配置优化模型与方法

由于系统资源变化会限制传统随机Petri网的应用,在对传统随机Petri网研究的基础上,提出一种带有资源约束的扩展Petri网（RCEPN）方法,使RCEPN中的每个变迁都有一类资源关联,并且变迁的实施速率与资源数量密切相关.RCEPN不仅使状态空间缩小,降低复杂性,也可使系统中任务和资源间的逻辑关系更加清晰,便于流程描述.利用排队论和数学规划给出了流程优化的数学模型,形成了解决资源优化配置问题的0-1规划,使RCEPN系统的响应时间最短.通过采购业务流程实例,验证了模型建立和优化方法的有效性.     

Petri网在ERP实施中业务流程建模的应用

对企业在实施ERP中的业务流程优化问题,提出了一种基于Petri网的业务流程优化和配置方法.首先分析ERP实施中的业务流程建模,指出采用Petri网建模的适用性.其次运用Petri网对流程给出形式化定义,提出优化规则,探讨基于Petri网的流程模型在ERP软件中的实现.最后结合某企业实施用友ERP的过程进行实例分析.     

基于扩展TTPN的多任务加工系统建模及资源优化

引入分类信息拓展赋时变迁Petri网(TTPN),给出扩展赋时变迁Petri网(ETTPN)模型定义,以分类集成方法,建立多任务加工系统ETTPN模型.与传统TTPN建模相比,该模型建模复杂度显著下降.结合多任务加工系统ETtPN模型,提出资源优化配置算法,通过实例验证该算法的有效性.     

Petri网的重写逻辑模型及其属性验证

为了对大规模或复杂结构的系统进行规格,人们在经典的库所/迁移Petri网基础上加入层次、时间等来扩展它.为此,提出使用重写逻辑表达Petri网的新方法来探索对Petri网的替代.通过把异步并发系统的Petri网图形表达转化为重写逻辑理论,可以更容易和更直接地验证原系统的安全性、活性和可达性等行为属性,而不需要建立标识图...     

装配生产线调度控制模型算法研究

运用Petri网方法，建立了装配生产线模型，给出了装配生产线调度控制系统的优化算法，即：按周期计划安排生产；按日进度计划用Petri网预测缺件；基于关键工序点的在制品控制。为装配生产线系统实时调度控制与动态仿真的实现提供了理论依据。     

基于Petri网行为轮廓的网上购物流程挖掘方法

为了满足企业业务流程模型的运行效率、完善网上购物流程,提出了一种基于Petri网行为轮廓的网上购物流程挖掘方法.首先根据某网上购物系统提供的事件日志,利用Petri网行为轮廓的弱序关系,设计出相应的流程模型; 然后通过计算模型与事件日志之间的服从程度,对初始模型进行改进和优化; 最后用实例分析说明了本文挖掘方法的可行性.