petri网建模实例不同的泊松过程有什么影响

petri网学习心得
2.工作流书籍:《Workflow&Management:&Models,&Methods&and&Systems》,&Wil&van&der&Aalst
&Petri&Nets&World,。这个强烈推荐。上面
& &有目前最全的petri网工具汇总。而且这对每种工具的特点进行了简要介绍。在学习了基本知识后,需要寻找工具着手尝试的时候,这里可以提供丰富的参考。而且还有一些小的在线绘制工具。
&PIPE,开源软件,sourceforge有下载。可以方便的生成邻接矩阵。但是当网稍大的时候,就无法绘制可达图了。软件有一些bug(个人使用时遇到的),比如一旦绘制了某个元素(库所或者变迁),就无法删除。优点是容易上手。
&WoPeD,这个专门针对WF_nets进行绘制的。个人感觉不错。可以方便的绘制可达图。同样支持模拟。支持判断完备性,活性等。
&CPN,绘制着色petri网的强大工具,有自己的一套描述语言。个人没有深入研究。
学习建议:
先学习petri网书籍。整体上有了把握后,可以阅读上面推荐的文章《》,进行一次梳理。
一些感触和理解
&比较乱,大家一看就好
而且petri网理论研究居多,实际应用的例子并不是很多。如何将petri网应用到实际中,我也在思索这个问题。希望大家多多交流。
2.petri网有各种各样的扩展。但无外乎是将复杂的流程进行直观的展示。
个人学习这一段时间后,认为还是要注重最原始的petri网,多绘制,多分析,多思考。其他各种高级petri网不过是在原始的基础上,对库所、变迁、弧进行了更强的限制,使其能够包含更多的信息。包含的信息多了,可以方便对复杂系统的表达,但是同时带来的就是一些细节信息的缺失。将复杂的信息封装在了库所、变迁和弧上面,直观上就不能进行分析了。所以不要过于依赖高级petri网。当系统过大的时候,可以针对某个局部进行分析。能够用最简单的petri网绘制的,尽量用最简单的。这样才能最直接的反应系统的流程,并进行分析,发现问题。
3,由库所发出的多条弧(选择结构),最终要汇合在库所上。
由变迁发出的多条弧(并发结构),最终要汇总在变迁上。如果不是这样的情况,那一定要小心。多多考虑。因为,如果不是这样就很容易出问题。我在构建复杂系统的模型时,尝试过构造复杂的逻辑关系,但最终往往都发现存在问题。
&关于此处说明的问题,在Aalst的文章《The
Application of Petri Nets&to Workflow Management》第40页中有详细阐述。建议大家阅读以下。当然,这样的错误在实际建模中还是非常容易出现的。简单的语言描述很难体会到,多画几次,遇到错误多做修改,才能有深刻的理解。
4.petri网的优势。
在于能够严格的反应系统的执行流程。如果详细分析,可以对系统的实现和开发(本人是做软件开发的)提供指导。举个简单的例子:
& 顺序结构是最常见的结构。当系统执行到p2的时候,是不能够在退回到t1的。那么对于系统的开发实现,就要考虑好,t1的具体操作,对p2以后的元素都是不可见的(不可用的)。这里要做的,有两种选择。要么在架构上,封装上,实现t1对后面的透明化;要么在用户操作上进行限制,一旦到达p2以后,t1的操作就不再可用。
在这里也顺便提一下。往往像上面这种顺序结构,很多是我们自己臆想出来的。各个操作之间,究竟有没有耦合关系,需要可观的考虑。如果没有,那他们之间就是并发关系。就不能表达为上面的顺序结构。专门提到这一点的原因是,往往(本人愚钝,遇到过)由于我们臆想的这种顺序结构,给自己带来混淆。实际上个操作之间是并发的,但是我们建模的时候,却理所当然的按照自己预想的一种操作顺序建模成顺序结构。从而也就产生了上面提到的问题,实际系统中可能完全执行了t2以后,再返回执行一次t1,这就和上面模型反应的情况完全不同。当然,也可能翻过来,实际是串行的,但我们实现系统的时候没有做好封装,使得操作t2执行完以后,t1还是可用的。这些细小的问题都需要尽量避免。
5.处于多条弧交汇点的元素需要着重考虑,这里可能会因为设计的不合理出现问题。
比如这个结构是系统中比较常见的结构。比如重新设置、重新生成等等需要反复执行的操作。t3变迁发生后到达p2,可能预计的下一步操作是继续执行t2,但是p2到t4也是可达的。那么这种情况是否合理?如果不合理,就应该讲交汇点p2错开,尽量让少的弧交汇在同一点,避免不符合逻辑的操作。比如可以通过添加库所和变迁来错开交汇点:
当然,如果通过逻辑上的修改来避免错误的路径是最好的。因为往往有些时候,这种添加的库所和变迁是没有实际意义的。
以上都是一些愚见。学习时间也短,仅仅是一些体会。正确的和大家分享,错误的还请指正,以作为以后学习petri网的同仁们的借鉴。
& 最后,总结一句体会:petri网模型是理性的,流程是用来给人用的。不可完全陷入模型的理性而妄断流程的对错;亦不可完全陷入流程的感性而臆想系统的运作。如何找到人与机器的平衡点,这就是个大课题了。
已投稿到:
以上网友发言只代表其个人观点,不代表新浪网的观点或立场。Petri网的经典模型_百度知道
Petri网的经典模型
我有更好的答案
//f。实际应用中。+ 变迁的发生是完整的,以及令牌等元素组成的。 (1) Petri网的元素 :+ 库所(Place)圆形节点+ 变迁(Transition)方形节点+ 有向弧(Connection)是库所和变迁之间的有向弧+ 令牌(Token)是库所中的动态对象,由于Petri网的时序是不确定的,因此具体哪个变迁得以发生也是不确定的,同时为输出库所(output place)产生令牌。也就是说,变迁发生完毕。在输入库所和变迁之间的弧的个数决定了该变迁变为被允许需要的令牌的个数。弧的个数决定了消耗/产生的令牌的个数.jpg" esrc="http。<img class="ikqb_img" src="http,也就是说,不存在发生了一个变迁之后忽然冒出另一个变迁或者库所,从而改变Petri网结构的可能。+ Petri网的状态由令牌在库所的分布决定,可以从一个库所移动到另一个库所。+ 如果出现一个变迁,其输入库所的个数与输出库所的个数不相等,令牌的个数将发生变化,也就是说,没有一个变迁只发生了一半的可能性.hiphotos.baidu.com/zhidao/wh%3D600%2C800/sign=396492cdd51b0ef46cbd9058edf47de2/ae51f3deb48f8c5409481fcc3d292df5e1fe7fbe,该变迁即为被允许(enable)。一个变迁被允许时,输入库所(input place)的令牌被消耗
为您推荐:
其他类似问题
您可能关注的内容
&#xe675;换一换
回答问题,赢新手礼包&#xe6b9;
个人、企业类
违法有害信息,请在下方选择后提交
色情、暴力
我们会通过消息、邮箱等方式尽快将举报结果通知您。Petri网络_百度百科
清除历史记录关闭
声明:百科词条人人可编辑,词条创建和修改均免费,绝不存在官方及代理商付费代编,请勿上当受骗。
本词条缺少名片图,补充相关内容使词条更完整,还能快速升级,赶紧来吧!
是Carl Adam Petri于1962年在博士论文中首次提出来的。作为描述系统元素的异步并发操作的工作模型,Petri网在计算机等许多领域都获得了广泛的应用。Petri网是完全从过程的角度出发为复杂系统的描述与分析设计提供的一种有效的建模工具,能自然的描述并发、冲突、同步、资源争用等系统特性,并带有机制,同时还具备形式化步骤及数学图论相支持的理论严密性。值得一提的是Petri网的图形表达的直观性和便于编程实现的技术特点,使得它已经成为目前及建模的主要工具之一。本小节将使用Petri网作为建模的工具,对网络自动攻击系统上的作业流进行建模。首先将对Petri网的相关概念进行介绍。
Petri网络历史
是Carl Adam Petri于1962年在博士论文中首次提出来的。作为描述系统元素的异步并发操作的工作模型,Petri网在计算机等许多领域都获得了广泛的应用。Petri网是完全从过程的角度出发为复杂系统的描述与分析设计提供的一种有效的建模工具,能自然的描述并发、冲突、同步、资源争用等系统特性,并带有机制,同时还具备形式化步骤及数学图论相支持的理论严密性。值得一提的是Petri网的图形表达的直观性和便于编程实现的技术特点,使得它已经成为目前及建模的主要工具之一。本小节将使用Petri网作为建模的工具,对网络自动攻击系统上的作业流进行建模。首先将对Petri网的相关概念进行介绍。
Petri网络概念
一个Petri网的结构元素包括:库所(place)、变迁(translation)和有向弧(arc)库所使用圆来标识,用于描述可能的系统局部状态。变迁使用矩形标识,用于描述修改系统状态的事件。有向弧可以从库所节点指向变迁节点,或者从变迁节点指向库所节点。通过有向弧描述库所和变迁之间的联系,等价于中的状态转移函数,表示使事件发生的局部状态(因)或事件发生所引起的局部状态的变化(果)在Petri网模型中,系统的动态特性用令牌(token)标识,令牌表示为包含在库所节点中的圆点,它反映着库所代表的局部状态实现的动态情况。若某库所中包含一个令牌,则表示库所代表的局部状态的一次实现(条件或结果为真);若库所中无令牌,则表示库所代表的局部状态尚未实现(条件或结果为假)。
清除历史记录关闭【图文】PETRI网建模理论基础_百度文库
两大类热门资源免费畅读
续费一年阅读会员,立省24元!
PETRI网建模理论基础
登录百度文库,专享文档复制特权,财富值每天免费拿!
你可能喜欢纠纷处理 (9:00-18:00)
图书审核 (9:00-18:00)
抱歉,您要找的页面不存在。

我要回帖

更多关于 时间petri网 的文章

 

随机推荐