【Petri网导论学习笔记】Petri网导论入门学习(一)

news2024/11/15 4:35:27

Petri 网导论

如需学习转载请注明原作者并附本帖链接!!!
如需学习转载请注明原作者并附本帖链接!!!
如需学习转载请注明原作者并附本帖链接!!!

发现网上关于Petri网的学习资源较少,这里分享的是看Petri网导论这本书的笔记(感觉相对于那个视频来说书上写的还是更详细一点,当然视频学习到第三章的笔记也会传上来,后续会主要看这本书来学习Petri网),欢迎大家来一起交流和学习,使用的学习资料是:
Petri网导论 吴哲辉著(主要)
Petri网:模型、理论与应用-清华大学

学习用书:
机械工业出版社出版
作者简介:
本学习笔记主要参考用书

Chap 0 序言

Petri网分布式系统建模和分析工具。其中对真并发的恰切描述是Petri网的独特优势

1.Petri 网发展历程

1962年由德国科学家Carl Adma Petri在他的博士论文“Kommuunikation mit Automaten”(用自动机通信)提出。

20世纪70年代初,Petri网的概念和思想方法受到欧美学者的广泛关注,包括对Petri网性质和应用到实际系统的建模和性质分析的研究。

2.需要的预备知识

深刻学习需要学习 线性代数、图论、形式语言理论、逻辑学等方面有坚实的基础

入门只需要具有离散数学线性代数基础知识,就可以读懂大部分章节。(部分章节涉及到形式语言与自动机理论、操作系统、以及数字逻辑等方面的知识。

3.Petri网的特点

作为一个系统模型,Petri网不仅可以刻画系统的结构,而且可以描述系统的动态行为(如系统的动态变化)

具有直观的图形表示,又引入了数学方法对其性质进行分析。

对于复杂的系统,Petri网可以对其分层描述逐步求精,便同面向对象的思想方法相沟通。

Petri网理论是一种易懂难精的理论,类似于围棋。

Petri教授把这份工作戏称为发明了一种借助图形符号和小石子来玩的游戏

4.Petri网的现状(在写书的时空

对Petri网若干重要性质普遍适用的判定条件或判定算法尚未得到

在某些Petri网子类给出了相应的判定方法,大多转化为线性方程组或线性不等式的整数解求解、网的局部结构求解、或者合法变迁序列的求解问题。

对于通用网论,则是信息科学中的进程理论和方法同近代现代物理的时空观有机融合。C.A.Petri提出的Petri网这种系统模型,其目标是想用一种兼容物理和计算机科学两者的语言和概念构架来形式描述制约通信进程所有的“自然法则”(这也尚未实现

5.学习范围

学习第1-6章的内容

主要是以原型Petri网作为主要对象,介绍Petri网的主要概念基本性质分析方法。

在这里插入图片描述

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.coloradmin.cn/o/2121970.html

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈,一经查实,立即删除!

相关文章

基于Neo4j知识图谱的构建及可视化

基于Neo4j知识图谱的构建及可视化 前言 手把手教你基于Neo4j构建知识图谱可视化系统。有任何疑问或者需要提供帮助都可以私信我。 一、环境搭建 1.1 安装JDK 下载和安装Neo4j之前,首先必须 安装Java JDK,因为Neo4j是基于Java的图形数据库&#xff0c…

openharmony 应用支持常驻和自启动

本文环境: devEco studio 版本 4.0.0.600 SDK版本:3.2.12.5 full SDK 应用模型:Stage 功能简介: OpenHarmony支持包含ServiceExtensionAbility类型模块的应用配置常驻和自启动。 关于ServiceExtensionAbility其他的介绍可以参考官网:ServiceExtensionAbility(仅对…

深入解析 org.apache.maven.plugins

深入解析 org.apache.maven.plugins 文章目录 一、常见报错问题二、解决思路三、解决方法四、常见场景分析五、扩展与高级技巧 一、常见报错问题 在使用org.apache.maven.plugins的过程中,我们可能会遇到一些常见的报错问题。例如,插件版本冲突、依赖缺失…

【linux-Day1】安装Centos

【linux-Day1】安装Centos Linux档案安装Centos购买云服务器下载xshell 小小体验一下centos!以root身份登录centos新建账户并给该账户设置密码以xxx用户登录centos删除选定账号 小结一下~ Linux档案 诞生背景:21岁的蕾娜斯.拖瓦茨在赫尔辛基大学读书期间…

无人机之陀螺仪篇

无人机的陀螺仪是无人机系统中至关重要的一个组成部分,它基于旋转惯性力的陀螺效应,通过测量旋转物体的角速度信息来实现对无人机姿态的精确控制。以下是对无人机陀螺仪的详细解析: 一、无人机陀螺仪的原理 旋转惯性力原理:无人机…

828华为云征文|docker部署ollama搭建属于自己的大模型

1.介绍 1.1 什么是华为云Flexus X实例 最近华为云828 B2B企业节正在举办,Flexus X实例的促销也非常给力,大家可以去看看。特别是对算力性能有要求,同时对自建MySQL、Redis、Nginx性能有要求的小伙伴,千万不要错过。 Flexus云服务…

螺旋模型例题

答案:D 知识点:螺旋模型是瀑布模型和演化模型的结合。适用于庞大,复杂并且具有高风险的系统 螺旋模型阶段: 制定计划:决定目标,方案和限制 风险分析:评价方案,识别风险&#xff…

简单好用的OCR API

现如今,越来越多的科技产品可以帮助我们改善和提高相应的工作效率。OCR技术的出现,提高了人们的工作效率,其应用领域及其广泛。就拿应用了OCR技术的翔云文档识别服务来说,只需上传文档图片便可自动识别并返回文档中相应的内容。翔…

vue2 - 文件预览、下载

目标&#xff1a;显示附件文件名&#xff0c;多个文件则用顿号隔开&#xff0c;点击文件可预览或下载文件 支持预览 pdf 和图片 &#xff08;JPG, JPEG, PNG&#xff09;doc、docx文件支持下载 原型图&#xff1a; 实现&#xff1a; 1、附件信息实现&#xff1a; <!-- 附…

Modbus协议基础知识

本节内容视频链接&#xff1a;【1】Modbus协议基础知识_哔哩哔哩_bilibilihttps://www.bilibili.com/video/BV11G4y1W7pU?p1&vd_sourceb5775c3a4ea16a5306db9c7c1c1486b5

强化学习策略更新方法on-policy与off-policy(重要性采样,q-Learning,sarsa)

一 On-policy和Off-policy概念 策略更新方法可以分为两类&#xff1a;On-policy&#xff08;在线策略&#xff09;和Off-policy&#xff08;离线策略&#xff09;。 它们之间的主要区别在于如何使用经验&#xff08;状态、动作、奖励和下一个状态&#xff09;来更新智能体的策略…

PHP宠物爱好者交流网站-计算机毕业设计源码65481

目 录 摘要 1 绪论 1.1 研究背景 1.2 研究意义 1.3论文结构与章节安排 2系统分析 2.1 可行性分析 2.2 系统流程分析 2.2.1 注册流程 2.2.1 登录流程 2.2.3 数据删除流程 2.3 系统功能分析 2.4 系统用例分析 3 系统总体设计 3.1 系统架构设计 3.2 系统功能模块设…

跑腿代购app系统开发产品分析

跑腿代购APP的开发案例分析可以从多个维度进行&#xff0c;包括市场需求、功能设计、技术实现、用户体验以及市场推广等方面。编辑&#xff1a;qawsed2466。以下是一个基于当前行业趋势和技术发展的跑腿代购APP开发案例分析概要&#xff1a; 一、市场需求分析 1. 用户群体 忙…

01【python+playwright测试自动化】之定位方式

playwright系列文章目录 00Mac安装playwright 00Mac 安装配置Python3虚拟环境&#xff08;VirtualEnv、virtualenvwrapper扩展包&#xff09; 文章目录 playwright系列文章目录前言一、实现一个demo二、通过CSS、XPath定位三、通过文本定位四、通过角色定位五、通过标题定位六…

【最新推荐】雨林木风Windows10系统:极速下载!

今日系统之家小编给大家分享2024年最新发布的雨林木风Windows10系统下载&#xff0c;该版本系统基于微软官方最新Windows10 22H2 19045.4842 64位专业版展开离线制作&#xff0c;确保安全无毒&#xff0c;全新升级的优化方案&#xff0c;显著提升了系统的性能&#xff0c;运作变…

新能源汽车的充电基础发展规划

公共充电基础设施建设进展 公共充电基础设施作为新能源汽车发展的关键支撑&#xff0c;其建设进展在近年来显著加快。各地和企业纷纷投入资源&#xff0c;建立了大量的充电站和充电桩。这些设施不仅覆盖了城市主要区域&#xff0c;也逐渐扩展到高速公路服务区和城际连接点。除…

机器学习 第10章 降维与度量学习

目录 k近邻学习低维嵌入主成分分析&#xff08;PCA&#xff09;核化线性降维&#xff08;KPCA&#xff09;流形学习等度量映射&#xff08;Isomap&#xff09;局部线性嵌入 度量学习 k近邻学习 k 近邻&#xff08;KNN&#xff09;学习是一种常用的监督学习方法&#xff0c;其工…

太炸裂!AI绘画赚钱机会,多到你无法想象!

家人们&#xff0c;AI绘画带来的变现方式真的太多了&#xff01; 很多人会认为AI还没有落地&#xff0c;也有很多人认为这些宣扬AI红利的自媒体就是想割韭菜&#xff0c;那只能说可能认知太浅薄了。 新的事物出现&#xff0c;总会有善于捕捉信息和透过表层看清事物本质的人冲在…

格式化的硬盘能恢复数据吗?拯救数据的可能性

在信息技术高速发展的今天&#xff0c;硬盘作为计算机的核心存储部件&#xff0c;承载着大量的数据和文件。然而&#xff0c;有时因为误操作或其他原因&#xff0c;我们可能需要对硬盘进行格式化&#xff0c;这往往导致重要数据的丢失。 那么&#xff0c;格式化后的硬盘数据是否…

护网期间社区同好的一些问题总结

本文来自无问社区&#xff0c;更多网安知识分享可前往查看http://www.wwlib.cn/index.php/artread/artid/7560.html 一,SQL注入 分类&#xff1a; 从注入参数类型分&#xff1a;数字型注入、字符型注入 从注入效果分&#xff1a;报错注入、布尔注入、延时注入、联合注入、堆…