标签：Mining 变迁 托肯 标记 标签 控制流 M0 Petri

Petri网

    Petri网是提出比较早且研究最好的可用于并发建模的流程建模语言。尽管图形表示法直观且简单，但是Petri网是可执行的，可以使用许多分析技术对其进行分析。Petri网是由库所（place）和变迁（transition）组成的二分图（bipartite）。网络结构是静态的，但是在触发规则（firing rule）的控制下，托肯（token）可以流经网络。 Petri网的状态由托肯在各库所的分布确定，并称为其标记（marking）。下图所示的初始标记中，只有一个托肯，start是唯一标记的库所。

    下面给出Petri网的形式化定义：
定义2（Petri网） 一个Petri网是一个三元组N = (P，T，F)，其中P是库所的有限集合，T是变迁的有限集合，并且P ∩T=∅，F⊆(P×T)∪(T×P)是有向弧的集合，称为流关系（flow relation）。一个标记Petri网以(N，M)对表示，其中N = (P，T，F)是一个Petri网，M∈

标签：Mining,变迁,托肯,标记,标签,控制流,M0,Petri
来源： https://blog.csdn.net/hyhy12580/article/details/114556198

本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享；
2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关；
3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关；
4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除；
5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。