CPN Tools学习——从平面网构建分层 PN

2024-06-16 20:36

本文主要是介绍CPN Tools学习——从平面网构建分层 PN,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

1.先创建平面petri网

创建如下petri网:

CPN ide创建petri网真的舒服很多,但是教程又是CPN Tools的,我的想法是看两个版本能不能互通,在前者创建,在后者运行学习。

新增定义:

colset E = unit with e;

但是很明显我想的有点天真:(但是这个在tools中新建号也会报这个错,为啥呢?)

从详细的平面网络构造分层Petri net所需的工具:

(1)视图(2)层次结构(3)模拟

用替代变迁来代替petri网中的一部分。

2.替代变迁

用变迁表征网结构中的某一整块是层次网中常用的一种方法,利用这种方法使得包含上述变迁网络从逻辑上得到简化。这样一种变迁就叫做替代变迁。

替代变迁根本上没有增加任何新的东西。利用替代变迁可以做的操作同样也可以利用融合库所fusion places 的方式来实现。但是类比于融合库所,替代变迁显得更方便、有用,它可以区分出建模上的可行性和整体不可行性上的不同。

3.创建分层petri net

(1)将视图中的第四个(创建新组)工具应用到net上

应用之后透明度会全部降低

(2)将视图中的第五个(选择组内元素)工具,将属于一个组元素进行选中。注意在这些选择之外,之后有一个输入或输出连接到这些节点。

要选择正确的节点组合,替代变迁才能起作用!

为什么选中这些,如果正确选择节点组合?

(3)利用分层托盘中的第一个工具,将选中部分发送到子页面,并将其替换为替换过渡。

应用到net中后,之前选中的组合结构已经消失了,被一个双倍的过渡给替换了。这个双层就叫替换过渡。可以进行重命名。

(4)再索引中可以找到并打开子页面。

观察发现子页面中,比之前选中的组合中,多出P2,P3,P7,这三个节点叫做端口节点,P2,P3叫做输入端口,P3叫做输出端口。分别标记有IN和OUT,是连接到父页面的节点!

(5)在父页面放置令牌,触发转换T1,看看会发生啥

T1执行完之后,令牌转移到P2和P3,同时双层替代变迁也显示绿框,这就表示在该替代的子页面中,至少触发了一个转换。

此时进入这个子页面就会发现输入端口分别有对应的相同令牌,T2已经被触发。

总结:为了隐藏网络的某些部分,我们创建了一个组,我们用替换过渡替换这个组,分层或不分层都具有相同的运行结果和行为,都是具有相同的连接性的,唯一的区别就是PN以分层的方式,将一些详细的连接放在子页面中了。
 (6)取消分层

用分层托盘中的第二个工具,作用是用它的子页面替换替换过渡,相当于取消原来的替换。

将这个工具作用到section_1这个替换过渡上,就回到了原来平面PN状态。

net左下角可以选择none恢复到最初的透明度。

这篇关于CPN Tools学习——从平面网构建分层 PN的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/1067485

相关文章

Go学习记录之runtime包深入解析

《Go学习记录之runtime包深入解析》Go语言runtime包管理运行时环境,涵盖goroutine调度、内存分配、垃圾回收、类型信息等核心功能,:本文主要介绍Go学习记录之runtime包的... 目录前言:一、runtime包内容学习1、作用:① Goroutine和并发控制:② 垃圾回收:③ 栈和

基于Python构建一个高效词汇表

《基于Python构建一个高效词汇表》在自然语言处理(NLP)领域,构建高效的词汇表是文本预处理的关键步骤,本文将解析一个使用Python实现的n-gram词频统计工具,感兴趣的可以了解下... 目录一、项目背景与目标1.1 技术需求1.2 核心技术栈二、核心代码解析2.1 数据处理函数2.2 数据处理流程

Python FastMCP构建MCP服务端与客户端的详细步骤

《PythonFastMCP构建MCP服务端与客户端的详细步骤》MCP(Multi-ClientProtocol)是一种用于构建可扩展服务的通信协议框架,本文将使用FastMCP搭建一个支持St... 目录简介环境准备服务端实现(server.py)客户端实现(client.py)运行效果扩展方向常见问题结

详解如何使用Python构建从数据到文档的自动化工作流

《详解如何使用Python构建从数据到文档的自动化工作流》这篇文章将通过真实工作场景拆解,为大家展示如何用Python构建自动化工作流,让工具代替人力完成这些数字苦力活,感兴趣的小伙伴可以跟随小编一起... 目录一、Excel处理:从数据搬运工到智能分析师二、PDF处理:文档工厂的智能生产线三、邮件自动化:

Android学习总结之Java和kotlin区别超详细分析

《Android学习总结之Java和kotlin区别超详细分析》Java和Kotlin都是用于Android开发的编程语言,它们各自具有独特的特点和优势,:本文主要介绍Android学习总结之Ja... 目录一、空安全机制真题 1:Kotlin 如何解决 Java 的 NullPointerExceptio

详解如何使用Python从零开始构建文本统计模型

《详解如何使用Python从零开始构建文本统计模型》在自然语言处理领域,词汇表构建是文本预处理的关键环节,本文通过Python代码实践,演示如何从原始文本中提取多尺度特征,并通过动态调整机制构建更精确... 目录一、项目背景与核心思想二、核心代码解析1. 数据加载与预处理2. 多尺度字符统计3. 统计结果可

一文教你Java如何快速构建项目骨架

《一文教你Java如何快速构建项目骨架》在Java项目开发过程中,构建项目骨架是一项繁琐但又基础重要的工作,Java领域有许多代码生成工具可以帮助我们快速完成这一任务,下面就跟随小编一起来了解下... 目录一、代码生成工具概述常用 Java 代码生成工具简介代码生成工具的优势二、使用 MyBATis Gen

Python使用Reflex构建现代Web应用的完全指南

《Python使用Reflex构建现代Web应用的完全指南》这篇文章为大家深入介绍了Reflex框架的设计理念,技术特性,项目结构,核心API,实际开发流程以及与其他框架的对比和部署建议,感兴趣的小伙... 目录什么是 ReFlex?为什么选择 Reflex?安装与环境配置构建你的第一个应用核心概念解析组件

Maven 插件配置分层架构深度解析

《Maven插件配置分层架构深度解析》:本文主要介绍Maven插件配置分层架构深度解析,本文给大家介绍的非常详细,对大家的学习或工作具有一定的参考借鉴价值,需要的朋友参考下吧... 目录Maven 插件配置分层架构深度解析引言:当构建逻辑遇上复杂配置第一章 Maven插件配置的三重境界1.1 插件配置的拓扑

重新对Java的类加载器的学习方式

《重新对Java的类加载器的学习方式》:本文主要介绍重新对Java的类加载器的学习方式,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录1、介绍1.1、简介1.2、符号引用和直接引用1、符号引用2、直接引用3、符号转直接的过程2、加载流程3、类加载的分类3.1、显示