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

相关文章

使用Python构建智能BAT文件生成器的完美解决方案

《使用Python构建智能BAT文件生成器的完美解决方案》这篇文章主要为大家详细介绍了如何使用wxPython构建一个智能的BAT文件生成器,它不仅能够为Python脚本生成启动脚本,还提供了完整的文... 目录引言运行效果图项目背景与需求分析核心需求技术选型核心功能实现1. 数据库设计2. 界面布局设计3

深入浅出SpringBoot WebSocket构建实时应用全面指南

《深入浅出SpringBootWebSocket构建实时应用全面指南》WebSocket是一种在单个TCP连接上进行全双工通信的协议,这篇文章主要为大家详细介绍了SpringBoot如何集成WebS... 目录前言为什么需要 WebSocketWebSocket 是什么Spring Boot 如何简化 We

Spring Boot Maven 插件如何构建可执行 JAR 的核心配置

《SpringBootMaven插件如何构建可执行JAR的核心配置》SpringBoot核心Maven插件,用于生成可执行JAR/WAR,内置服务器简化部署,支持热部署、多环境配置及依赖管理... 目录前言一、插件的核心功能与目标1.1 插件的定位1.2 插件的 Goals(目标)1.3 插件定位1.4 核

使用Python构建一个高效的日志处理系统

《使用Python构建一个高效的日志处理系统》这篇文章主要为大家详细讲解了如何使用Python开发一个专业的日志分析工具,能够自动化处理、分析和可视化各类日志文件,大幅提升运维效率,需要的可以了解下... 目录环境准备工具功能概述完整代码实现代码深度解析1. 类设计与初始化2. 日志解析核心逻辑3. 文件处

使用Docker构建Python Flask程序的详细教程

《使用Docker构建PythonFlask程序的详细教程》在当今的软件开发领域,容器化技术正变得越来越流行,而Docker无疑是其中的佼佼者,本文我们就来聊聊如何使用Docker构建一个简单的Py... 目录引言一、准备工作二、创建 Flask 应用程序三、创建 dockerfile四、构建 Docker

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