技术栈
petri网
梁辰兴
2 小时前
软件工程
·
基本概念
·
petri网
·
应用要点
·
状态转换图
·
系统动态分析
·
状态转换表
软件工程：系统动态分析
系统动态分析是需求分析的重要组成部分，它关注系统随时间变化的行为特征，描述系统在不同状态之间的转换过程。本文将详细介绍系统动态分析的概念、方法、工具及应用。
&&Citrus
4 个月前
笔记
·
学习
·
php
·
cpn
·
petri网
【CPN学习笔记（二）】Chap2 非分层颜色 Petri 网——从一个简单协议开始读懂 CPN
教材：Coloured Petri Nets by Kurt Jensen & Lars Michael Kristensen (Springer, 2009) 章节：Chapter 2 — Non-hierarchical Coloured Petri Nets
&&Citrus
4 个月前
笔记
·
python
·
学习
·
cpn
·
petri网
【CPN 学习笔记（三）】—— Chap3 CPN ML 编程语言 上半部分 3.1 ~ 3.3
教材：《Coloured Petri Nets》Jensen & Kristensen, Springer 2009 本篇覆盖：§3.1 函数式编程 · §3.2 颜色集构造器 · §3.3 表达式与类型推断
&&Citrus
2 年前
笔记
·
学习
·
入门
·
petri网
【Petri网导论学习笔记】Petri网导论入门学习（五）—— 1.3 库所/变迁系统与加权Petri网
库所/变迁系统（简称P/T系统）（Place/Transition）在原型Petri网上增加了 S S S上的容量函数和 F F F上的权函数。
&&Citrus
2 年前
笔记
·
学习
·
petri网
【Petri网导论学习笔记】Petri网导论入门学习（六） —— 1.4 基本网系统与条件事件系统
在 P/T 系统 Σ = ( S , T ; F , K , W , M ) \Sigma=(S,T;F,K,W,M) Σ=(S,T;F,K,W,M) ,若规定
&&Citrus
2 年前
笔记
·
学习
·
入门
·
petri网
【Petri网导论学习笔记】Petri网导论入门学习（八） —— 1.6 系统的Petri网模型
理论的目的在于应用，接下来是一些关于用Petri网标识离散事件系统的例子这里就直接搬运书上的内容了，了解一下
&&Citrus
2 年前
笔记
·
学习
·
算法
·
入门
·
petri网
·
petri
【Petri网导论学习笔记】Petri网导论入门学习（三）
如需学习转载请注明原作者并附本帖链接！！！ 如需学习转载请注明原作者并附本帖链接！！！ 如需学习转载请注明原作者并附本帖链接！！！
我是有底线的