形式化方法-- petri net

形式化方法—Petri net
Petri net是由C.A.Petri在其博士论文中提到的,petri net 通常包含以下几个元素，分别是：库所、变迁、流关系、容量函数、初始标识、权值函数。所以petri net 定义通常以数组的形式呈现。其中只包含库所、变迁、流关系这三个元素的petri net 被称为基网。除了基网之外，还有着色petri net, 时间petri net,随机petri net等高级petri网
首先我们来接介绍一些petri网的基本结构：
（1）顺序结构。简而言之，就是类似于一条线的结构是最简单的结构
（2）并发结构。用自然语言表述就是，当petri网中有两个变迁可以同时发生，其中一个发生以后，不影响另一个的发生，这种结构叫做并发结构
（3）冲图结构。用自然语言表述就是。有两个变迁可以同时发生，当其中一个发生以后，导致另一个变迁不能发生的结构叫做冲突结构
（4）混惑结构。既包含并发结构，又包含冲突结构。
Petri网变迁发生的规则,直白的来讲，输出库所中包含的托肯数量要大于权函数，并且输入库所中的容量要大于原有的托肯数量加上输入的托肯数量。
其次我们介绍一些petri 网常用的性质
1、可达性:对于两个不同的标识（托肯的分布情况），存在变迁或者变迁序列，使一个变为另一个。
2、可逆性
3、有界性：一个库所在所有从初始标识可达的表示下，所包含的托肯数量都是有限的，则该库所是有界的
4、安全性：根据上述有界性，库所的界限是1
5、活性：任何从初始标识可达的标识，都可以通过一个变迁，变为新的标识
6、公平性：主要保证在竞争的情况下，不会出现饥饿状态，比如在生产线上，不会让物资一直分配给一条生产线。而导致其他生产线的浪费。
注意：在解释petri 网的内容时都采用白话的语言，是考虑到有些数学公式不太好理解，
有描述不清楚的地方，还请各位指正，欢迎讨论

形式化方法-- petri net相关推荐

形式化方法（Formal Methods）
形式化方法是基于严密的.数学上的形式机制的计算机系统研究方法. 形式化方法(FM-Formal Method)知识体系中的6个知识领域为: ① 基础(Foundations); ② 形式化规格(For ...
什么是软件形式化方法
软件形式化方法(Formal Method)在软件开发中一直都受到多方面的争议.持肯定态度的拥护者认为形式化方法会引起软件开发的革命,另一些持否定态度者则怀疑甚至反对将数学引入软件开发过程中. 形式化 ...
阅读和了解什么是形式化方法？
1.形式化方法概念: 形式化方法英文的名称是formal methods.在逻辑科学中是指分析.研究思维形式结构的方法.它把各种具有不同内容的思维形式(主要是命题和推理)加以比较,找出其中各个部分相互 ...
1、阅读和了解什么是形式化方法 2、推荐阅读书籍《大象——thinking in UML》
什么是软件形式化方法软件形式化方法是指建立在严格数学基础上的软件开发方法.形式化方法模型的主要活动是生成计算机软件形式化的数学规格说明.形式化方法使软件开发人员可以应用严格的数学符号来说明.开发和验 ...
鉴于现有的形式化方法（简称“桥”系列）有其优点和缺点，特发明新的“秤”系列
鉴于现有的形式化方法及其形式化语言(简称"桥"系列)具有的优点和缺点, 特依据信息基本定律发明新的"秤"系列,以扩充并解决"桥"系列所解决不 ...
阅读和了解什么是形式化方法
形式化方法就是在逻辑科学中是指分析.研究思维形式化结构的方法.它把各种具有不同内容的思维形式加以比较,找出其中各个部分互相联结的方式.如果一个方法有良好的数学基础,那么它就是形式化的,典型的以形式化规 ...
软件开发的形式化方法（Formal Method）之前世今生~
各行各业都在使用和开发不同的软件,可以说软件无处不在,从分类上说,软件是一种最复杂的人造产品之一,是人们为了让机器实现一些功能,而去设计,分析并实现的产品. 我们先对典型的软件开发过程进行分析,一般从 ...
形式化方法、《大象：Thinking in UML》
形式化方法英文的名称是formal methods.在逻辑科学中是指分析.研究思维形式结构的方法.它把各种具有不同内容的思维形式(主要是命题和推理)加以比较,找出其中各个部分相互联结的方式,如命题中包 ...
【形式化方法：VDM++系列】4.VDM实战1——铁路费用计算
又有将近2个月没更新博客了啊!winter holiday简直玩儿疯了的说!结果假期前学习的形式化方法已经忘了大半!面对期末作业,大脑一片空白.于是,赶快复习了一下之前学习的姿势! 这次的主要任务是完 ...

形式化方法-- petri net

形式化方法-- petri net相关推荐

最新文章

热门文章