过程挖掘旨在从事件日志中自动抽取过程模型用于支持过程设计和分析，完备日志是过程挖掘算法设计、测试和分析的前提。提出了基于Petri网模型行为仿真的完备日志生成算法，在仿真过程中加入基于发生次数及相继关系的诱导规则，即在有多个任务使能的情况下选择触发发生次数少且覆盖新相继关系的任务，使其在尽可能少的实例下产生完备的日志。诱导规则的应用减少了模拟模型发生的各种情况所需的时间，同时也提高了所有情况发生的概率，使得日志的完备性成为可能。
2024-03-18 14:02:43
1.03MB
1
要想用Petri网对系统进行有效的模拟和分析，就必须先建立起可靠准确的Petri网模型，目前很少有文献专门研究Petri网对系统的建模问题。对此，提出了基于系统行为序列的Petri网自动建模方法。该方法将系统所有行为序列组合为正规语言表达式，对于不同的系统，给出标注函数（即变迁和系统行为的映射关系），就可以建立起系统的Petri网模型。给出了电话呼叫业务建立用户Petri网模型的一个实例。该方法形式化强、通用性好，建立的模型标准规范，并且可实现机器自动建模，在目前的系统建模研究方面取得了进展。
2023-11-23 13:17:35
329KB
1
Petri网是对离散并行系统的数学表示。Petri网是1960年代由卡尔·A·佩特里发明的，适合于描述异步的、并发的计算机系统模型。本书籍学习Petri网的必备书籍与入门教材
2023-11-02 10:01:16
5.47MB
1
该资源详细介绍了CPN中监视器的使用方法，对使用CPN进行性能分析具有非常大的帮助作用。其中包括：Data Collector Monitor、Breaking Point Monitor、User-Definition Monitor、Write-In-File Monitor以及各 类型监视器使用到的函数、异常处理、输出设置等。文档为英文版，但是简单易懂。
2023-03-21 00:45:19
1.08MB
1
petri网的应用领域
(1)通讯协议的验证
通讯协议的验证是Petri网应用最为成功的领域之一最初应用在70年代初期，由于 Petri网以形式语言作为基础，可形式化地 对通信协议进行正确性验证。
(2)计算机通讯网络性能评价及多媒体应用
随着计算机网络技术和信息技术的发展，对网络进行性能分析的需要，不仅出现于企业内部的生产控制的局域总线网，而且出现于光纤局域网或ATM网中。
2023-03-17 14:29:36
1.3MB
1
一个有限自动机的例子。假设一个自动贩卖机器可接受五分或者一角面值的钱币，卖15￠或20￠的单独包装的块状糖。假设这个贩卖机可以接受20￠，那么这个机器的状态图就可以由下图所示的Petri网来表示。五个状态用五个库所来表示，上面分别标注了0￠，5￠，10￠，15￠和20￠。
2023-03-11 09:06:01
126KB
1
为进一步解决复杂系统脆性理论既有研究工具存在的系统状态定量描述困难、系统边界条件约束较多 等问题，将有色 Petri 网及其仿真工具 CPN Tools 引入到复杂系统脆性度量研究中。有色 Petri 网及 CPN Tools 内 置的查询工具、既有的高级状态空间计算方法都降低了复杂系统脆性度量中的问题复杂度。提出基于状态空间 分析的复杂系统脆性度量指标并给出编程实现流程。仿真算例表明状态空间内状态节点的脆性传递过程及其 影响范围能够间接反映系统脆性行为。
2023-03-10 17:06:55
1.26MB
1