WinTTPN(Petri)petri网工具

2009年petri网年会资料,主要介绍最新进展及其研究成果,大会论文交流!

PIPE 是Platform Independent Petri Net Editor的缩写, 下载到JRE,并设置好PATH后运行PIPE软件包中的pipe.bat(Windows下,Linux下的

介绍Petri网的知识表示方法以及案例推理机制的相关内容,提出了一种基于Petri网的案例推理模型,给出了相应的案例检索匹配算法,并将该模型和检索算法应用到网络攻防态势推演系统中,最后重点介绍了该系统

三十年前，德国科学家C.A.Petri先生在其博士学位论文中创立了一种用于并发通信机理描述的新型“自动机”模型，即今天被称之为“Petri网”的并发系统模型。众所周知，传统的自动机模型适于描述顺序行为

High-levelPetriNets-Concepts,DefinitionsandGraphicalNotationFinalDraftInternationalStandardISO/IEC15

层次颜色工作流Petri 网的概念,并指 出用层次颜色工作流网不仅能以层次化的方式描述业务过程,而且因为所获得的模型的语义更精确,所以可用此方法描 述具有事务属性并行任务在执行失败时的回滚策略。

懂的人自然就明白，是一种类似系统验证的工具

Petri net principle (college textbook, Yuan Chongyi)

对Petri网理论在性能评价领域的应用进行了研究，介绍广义随机Petri网及其分析技术的基础上，探讨了如何利用GSPN对系统进行建模及性能分析。

Petri网建模仿真软件，不少人用此软件进行Petri网的研究，实现建模与仿真。