当前位置: 首页 > news >正文

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

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.lryc.cn/news/434532.html

相关文章:

  • Zabbix监控自动化
  • pytorch pyro 贝叶斯神经网络 bnn beyesean neure network svi ​定制SVI目标和培训循环,变更推理
  • Openeuler22 部署 RackTables0.22.0
  • 从传统到智能:高标准农田灌区信息化助力农业现代化
  • 堆排序-建堆,增删替换
  • 使用AI写WebSocket知识是一种怎么样的体验?
  • 若依系统(Security)增加微信小程序登录(自定义登录)
  • 道可云人工智能元宇宙每日资讯|2024互联网岳麓峰会在长沙召开
  • MySQL JDBC URL各参数详解
  • celery control.shutdown
  • 数据库设计与软件工程阶段的对应关系
  • 基于ASP+ACCESS的教师信息管理系统
  • 【智能体】浅谈大模型之AI Agent
  • 大疆 嵌入式 笔记 面试题目汇总大全[嵌入式找工作必看] 比较有难度适合进阶收藏学习
  • 线程池以及详解使用@Async注解异步处理方法
  • css鼠标移动过去变成手的图标
  • uniapp 懒加载、预加载、缓存机制深度解析
  • 《OpenCV计算机视觉》—— 图像形态学(腐蚀、膨胀等)
  • 【Rust光年纪】海洋学研究的利器:Rust语言海洋学计算库详解
  • Word文档的读入【2】
  • 报名开启 | 游戏开发缺队友?首期繁星招聘会来袭!
  • 无法加载源https://api.nuget.org/v3/index.json的服务索引
  • C#--CM+Fody+HCWPF开发组合
  • 力扣474-一和零(Java详细题解)
  • 【话题】量子计算:前沿技术与应用前景深度解析
  • 第11章 32位x86处理器编程架构
  • 加密软件是什么?有哪些用处呢?
  • 浅谈C#之任务调度TaskScheduler
  • SQL server 日常运维命令
  • 基于协同过滤算法+SpringBoot+Vue+MySQL的商品推荐系统