bangbinbing的博客

一般网系统中无冲撞概念，petri网中的库所容量为无限大。因此，在petri网中，只要一个变迁的前集各库所有足够的标志，该变迁就可以发生，即使该变迁的后继中某些库所含有标志，也不影响变迁发生。在有容量函数 K 的 \(P/T\) 系统里，阻塞是一种特殊现象。由于对库所容量有一定的容量限制，有时也会出现类似于冲撞的情况。以图 1.20 的 \(P/T\) 系统为例，库所存在容量限制。比如 \(t_1\) 的前集只有 \(s_1\)，当前 \(s_1\) 有 3 个标记，满足 \(t_1\) 的权值要求。

摘要：Petri网用于建模离散事件系统，通过实例展示了其应用：1）化学反应示例中，用3个库所分别表示氢、氧、水分子数，变迁t描述(2\ce{H_2}+2\ce{O_2}\to2\ce{H_2O}+\ce{O_2})的分子变化；2）进程通信模型中，通过缓冲寄存器(s_4)和(s_5)实现进程A与B的信息收发与应答；3）生产者/消费者问题中，缓冲寄存器作为共享资源，其状态约束着生产者和消费者进程的运行条件。这些案例体现了Petri网在描述系统状态转换和事件依赖关系方面的优势。

摘要：本文系统介绍了Petri网理论中的基本网系统（EN系统）和条件事件系统。基本网系统是一种特殊的P/T系统，其库所容量和弧权值严格限制为1，对应条件只能是真/假的状态。条件事件系统则在此基础上定义了事件发生权规则（前置条件全满足且后置条件全不满足）。文章还详细阐述了完全情态集、简单网的定义，以及Petri网中并发（独立事件）与冲突（互斥事件）的概念对比，并指出混惑（并发与冲突混合）应尽量避免。这些概念为建模离散事件系统提供了理论基础。

本文系统介绍了Petri网及其扩展模型。首先阐述了基础库所/变迁系统(P/T系统)的核心概念，包括变迁触发条件、状态转移规则及生产线加工示例。接着重点分析了加权Petri网的六元组定义，详述了其权重函数、容量约束等增强特性，并通过数学表达式严格定义了变迁使能条件和状态转移规则。最后探讨了P/T系统与原型Petri网之间的相互转化方法，包括取消容量限制、拆分加权边等技术手段。全文构建了从基础到高级的Petri网知识体系，为离散事件系统建模提供了理论框架。

本文介绍了Petri网系统的基本概念和分类。主要内容包括：1）Petri网的定义，即基于有向网的模型系统；2）Petri网系统的分类，如EN系统、C/E系统、P/T系统等；3）基础网系统的核心概念，包括发生权定义、同步与异步现象等。文章通过示例说明了资源分配和状态转换规则，并指出Petri网是异步并发系统的特性。最后强调Petri网在描述并发系统方面的优势。