精华内容
下载资源
问答
  • Petri 网络

    2013-05-24 15:32:38
    Petri 网络
  • Petri

    2013-03-20 11:02:23
    petri网的性质、概念和技术, 对于描述 和分析系统—尤其是并行异步系统— 中的 控制和信息流是一个简单、 自然和极有用的方 法。
  • Petri网

    2018-03-11 16:51:00
    Petri网是一种适合于系统描述和分析的数学模型,主要描述异步和并发关系。(或者Petri网是对离散并行系统的数学表示,适用于描述异步的,并发的计算机系统模型。) Petri网模型自然,直观,简单易懂的描述了在分析...

    Petri网是一种适合于系统描述和分析的数学模型,主要描述异步和并发关系。(或者Petri网是对离散并行系统的数学表示,适用于描述异步的,并发的计算机系统模型。)

           Petri网模型自然,直观,简单易懂的描述了在分析并行系统的状态行为的技术。

       Petri网主要用于:计算机协议模型、柔性系统模型、计算机集成制造、人工智能、系统分析等领域。

       Petri网由位置(P),变迁(T),有向弧线,令牌(token)所构成,其中P表示状态元素,T为变化元素,有向弧线既可以由P到T,又可以由T到P,token表示一种属性。其中P,T平等。T由P来描述,P由T而变化,T引起P中资源流动,F联系P,T。Petri网可描述为:{S,T,F,M0} S:表示状态,T:表示变化条件,F:表示有向弧,M0表示令牌的初始位置。

       Petri网的与运算描述为:

     

           Petri网的直观理解:

           用Petri网描述的系统有一个共同的特征:系统的动态行为表现为资源(物质资源和信息资源)的流动。

           为了便于理解,先通过分布式系统的几个基本行为模型,描述的例子对Petri网做一个直观的说明:一个Petri网的结构元素包括:库所(place)、变迁(transition)和弧(arc)。库用于描述可能的系统局部状态,例如:计算机和通信系统的队列、缓冲、资源等。变迁用于描述修改系统状态的事件。例如:计算机和通信系统的信息处理、发送、资源的存取等。弧通过指向来规定局部状态和事件之间的关系。

        在Petri网模型中,托肯包含在库所中,他们在库所中的动态的变化表示系统的不同状态。如果一个库所描述一个条件,它可以包含或者不包含托肯,也可以包含多个托肯。当库所中包含托肯时,条件为真;否则条件为假。如果一个库所定义一个状态,在这个库所中的托肯个数用于数量化这个状态。例如:在计算机和通信系统中,托肯可以表示处理的信息单元,资源单元和顾客、用户等对象实体。

           一个Petri网模型的动态行为是由它的实施规则规定的,当使用等于1的弧权时,如果一个变迁的所有输入库所(这个库所连接到这个变迁,弧的方向是从库所到变迁)至少包含一个托肯,那么这个变迁使能(相关联的时间发生)。一个使能的变迁的触发导致从它所有的输入库中清楚1个托肯,在它的每一个输出库所(这些位置连接到这个变迁,弧的方向从变迁到位置)中产生1个托肯。当使用大于1的弧权时,在变迁的每一个输入库所中都要包含至少等于连接弧权的托肯个数,它才使能;这个变迁的触发将清除在该变迁的每一个输入库所中的相应的托肯个数,并在变迁的每一个输出库中所产生相应的托肯个数。变迁的触发是原子操作,清楚输入库所的托肯和在输出库所产生托肯时1个不可分割的完整操作。

    转载于:https://www.cnblogs.com/sddai/p/8544702.html

    展开全文
  • petri网

    2017-07-15 16:02:00
    Petri网是1960年代由C.A.佩特里发明的,适合于描述异步的、并发的计算机系统模型。Petri网既有严格的数学表述方式,也有直观的图形表达方式。 由于Petri网能表达并发的事件,被认为是自动化理论的一种。研究领域...

    规则:http://roclinux.cn/?p=1592

     

    Petri网是对离散并行系统的数学表示。Petri网是1960年代C.A.佩特里发明的,适合于描述异步的、并发的计算机系统模型。Petri网既有严格的数学表述方式,也有直观的图形表达方式。

    由于Petri网能表达并发的事件,被认为是自动化理论的一种。研究领域趋向认为Petri网是所有流程定义语言之母。

     

    经典的Petri网是简单的过程模型,由两种节点:库所和变迁,有向弧,以及令牌等元素组成的。

    petri网图petri网图

    Petri网的元素:

    • 库所(Place)圆形节点
    • 变迁(Transition)方形节点
    • 有向弧(Connection)是库所和变迁之间的有向弧
    • 令牌(Token)是库所中的动态对象,可以从一个库所移动到另一个库所。

    Petri网的规则是:

    • 有向弧是有方向的
    • 两个库所或变迁之间不允许有弧
    • 库所可以拥有任意数量的令牌

    行为

    如果一个变迁的每个输入库所(input place)都拥有令牌,该变迁即为被允许(enable)。一个变迁被允许时,变迁将发生(fire),输入库所(input place)的令牌被消耗,同时为输出库所(output place)产生令牌。

    注意:

    • 变迁的发生是原子的;
    • 有两个变迁都被允许的可能,但是一次只能发生一个变迁;
    • 如果出现一个变迁,其输入库所的个数与输出库所的个数不相等,令牌的个数将发生变化;
    • Petri网络是静态的;
    • Petri网的状态由令牌在库所的分布决定。

    两个变迁争夺一个令牌的情形被称之为冲突

    多个弧连接两个节点的情况。在输入库所和变迁之间的弧的个数决定了该变迁变为被允许需要的令牌的个数。弧的个数决定了消耗/产生的令牌的个数。

    转载于:https://www.cnblogs.com/haore147/p/7183182.html

    展开全文
  • petri

    2008-06-26 21:33:56
    petri 的教材
  • petri网论文

    2018-12-15 10:43:12
    Petri网模型,有利于学习Petri网。内容丰富近几年,无论是顾客还是市场,都需要铁路 物流中心对基本业务流程进行优化,以此来提高 工作效率,可范德萨发斯蒂芬
  • Pipe 3.0petri网软件

    2021-05-03 01:30:58
    petri网非常好的建模分析软件能直观的进行建模和分析petri网 论文必备 petri网非常好的建模分析软件能直观的进行建模和分析petri网 论文必备
  • Petri 网学习,学习petri网的ppt(超详细)。 学习petri网的ppt,适合初学者。也可以作为一份参考资料 Petri网
  • petri网导论

    2014-09-04 11:00:38
    petri网的入门书籍,国内关于petri网最好的两本书之一
  • PETRI网导论

    2015-03-21 20:17:37
    PETRI网导论 author: 吴哲辉:
  • Petri网导论

    热门讨论 2014-08-22 17:03:46
    petri网的入门书籍,淘宝上买的,学习petri网的很好的指导,书籍非常清晰,公式图片都能看清
  • 常用Petri网模拟软件工具简介

    万次阅读 多人点赞 2016-04-29 09:23:15
    常用Petri网模拟软件工具简介 首先要介绍的的一个非常有名的Petri 网网站--Petri Nets World: http://www.informatik.uni-hamburg.de/TGI/PetriNets/ 我这里介绍的软件大部分在该网站中的Tools and Software...

    常用Petri网模拟软件工具简介

          首先要介绍的的一个非常有名的Petri 网网站--Petri Nets World:

          http://www.informatik.uni-hamburg.de/TGI/PetriNets/

          我这里介绍的软件大部分在该网站中的Tools and Software中的Petri Nets Tool Database里可以找到相关的链接。

           Petri网的相关模拟仿真软件现在已经相当成熟了,在国外已经有很多投入商用的案例。但目前每年的国际性Petri网学术会议上都有一个专题就是:Petri Nets Tools的开发。也就是说Petri网界对于新的模拟软件的开发是十分重视。

          这里不是要跟大家说如何开发软件,而是想跟大家分享如何下载和使用适合我们自己的Petri网学习工具软件。

          下面介绍我比较熟悉的几款软件,大家不妨自己下载安装使用(注意,其中有些是要钱的,不管打不打折,对于我们来说肯定不会下):

    Visual Object Net ++

          Tool homepage: http://www.systemtechnik.tu-ilmenau.de/~drath/visual_E.htm

          Visual Object Net ++可以说是一款入门级的模拟软件了。我用得最多。具有非常直观的操作和非常强大的功能。支持时间以及混杂网,但是我们用得最多的还是使用它来队最普通的P/T网建模。这款软件虽然很好用,但感觉就是太普通、太普通了。

    Tina

          Tool homepage: http://www.laas.fr/tina

          Tina是一款对时间Petri网支持得比较好的软件,也是我用得较多的一款软件。它的运行程序是解压后/bin目录下的nd.exe文件(NetDraw),适用于Windows和Linux操作系统,也就是说他的移植性很好。

          Tina的操作也比较特别,很多操作需要借助键盘按键来完成,如:

          Ctrl + g用来切换软件背景网格线的有无;鼠标中键用来添加库所;Ctrl +鼠标中键用来添加变迁;用鼠标中键在库所与变迁间拖拽可以添加弧。

          它有专门的模拟模块,点击菜单的tools-stepper simulator可以切换到运行模拟器中,如图。其中Rand表示随机运行,完了之后可回复到初始状态进行单步运行分析等。

     

    CPNTools

          Tool homepage: http://www.daimi.au.dk/CPNTools/

          CPN Tools是颜色Petri网领域鼎鼎大名的建模软件,操作界面如下图所示。

          其操作也独具特色--添加库所、变迁以及弧的方法是使用鼠标右键点击不放,在出现的圆形弹出菜单内用左键选择相应的项目。

          下图大家一看就明白,乃是经典的哲学家进餐问题的CPN模型。

     

          更多的操作细则请参看在线帮助文档:

          http://wiki.daimi.au.dk/cpntools-help/cpntools-help.wiki

    JFern、PIPE

          Tool homepage: http://sourceforge.net/projects/jfern

          之所以放在一起讲是因为JFern和PIPE都是基于Java平台的Petri网模拟软件。所以不管是在Windows下还是Linux下都必需有JDK/JRE作为运行环境方可使用。

          JFern支持面向对象Petri网,目前支持OOPN的软件比较少,所以很有价值。

          PIPE 是Platform Independent Petri Net Editor的缩写,没有给下载地址因为Petri Nets World上没有。而我是从西北大学一位研究生处得到的,当我问起他们一般使用什么Petri网模拟软件时,他只说了PIPE,可见它还是很有影响力的。

          下载到JRE,并设置好PATH后运行PIPE软件包中的pipe.bat(Windows下,Linux下的启动程序是pipe.sh)文件就可以打开操作界面了(见图) 。

          可见其界面也很直观易懂,且采用分页结构。

          附:PNAE下载地址(点击下载)

          另外我想提出的一点说明是:在PIPE所建模型的库所属性框里可是有“Capacity”一栏的哦!这是我看到的第一个设置了库所容量的成熟软件。

    说了这么多,最后想说一点:Petri网模拟软件其实还有很多很多,只要是不要钱的大家都可以拿来下着玩玩,弄不好就被你发现点什么玄机了,呵呵。如果觉得这些软件的操作你不熟悉,拿着不知道怎么用,最有效也是最直接的办法是:看帮助文档或者说用户手册!

    展开全文
  • 混合Petri网和流体随机Petri网作为混合系统的建模方法,其内在的建模机制和分析方法不尽相同,而且这两种机制远未发展成熟。分析并建立它们之间相互转换的方法有助于机制本身的发展完善,并利用对方的建模原语和分析...
  • 为了提高Petri网建模能力引入运行步概念,并在连续Petri网的基础上提出一种新型混合Petri网---步混合Petri网,分析该网特点及其运行规则,并用该网分别对数字型PID控制器和模拟型PID控制器进行建模。
  • Petri网入门

    2012-01-06 17:31:46
    Petri网入门介绍 利用petri网描述攻击过程
  • petri网的应用

    2018-09-23 20:51:04
    详细讲解petri网定义、性能、特点、基本分析方法及其应用
  • Petri网建模工具pipe4.3

    2021-03-22 20:46:28
    Petri网建模工具pipe4.3
  • petri网PPT

    2013-11-21 19:27:12
    介绍petri网原理,配合petri网教材书 第一章 网和网系统 第一讲 实例_V2
  • 对于petri网原理的介绍和分析,有比较大的实用价值,希望了解petri网的人可以作为参考资料。
  • petri网仿真

    2013-12-09 09:58:14
    petri网建模仿真软件,基于C++语言开发的一款软件
  • petri网建模

    2012-11-26 17:08:59
    Petri网是由德国的Carl Adam Petri在1962年所写的博士论文 (用自动机通信)中提出的,Petri先生在论文中使用网状结构模拟通信系统,研究信息系统及其相互关系的数学模型。

空空如也

空空如也

1 2 3 4 5 ... 20
收藏数 4,827
精华内容 1,930
关键字:

petri网