petri nets

语义Web服务的研究目的是使得用户软件主体能够理解服务，并对其进行自动处理。但现有的研究是基于静态语义描述的，不能解决动态语义描述的各种问题，尤其是服务的并发执行。Petri网作为系统描述与分析的工具

petri网是一种适合于描述异步并发现象的系统模型,它既有严格的数学定义,又有直观的图形表示,既有丰富的系统描述手段和系统行为分析技术,又为计算机科学提供坚实的概念基础。

anewmodelofPetrinetsbasedbcforefiringafterfinngogofnentethhreaelieuznastetiirooenfsc,lootnghciicespa

(1)petri网仿真工具VON (2)petri网仿真工具winttpn 这两个工具都比较好用，对初学petri网的人来说，简单易学。图形直观。

petri的开发软件，可以设计petri网模型，验证，调试。

petri网的介绍和概况，包括基本类型和常用项目，适合新手使用

[Petri网原理与应用].袁崇义.扫描版

HPSimpetri网建模软件信息系统建模

petri网编辑实用工具pipe,可以做基本petri网的建模、仿真

Petri net principle and application