《Petri Nets, Process Algebras and Concurrent Programming Languages》by Eike Best

是一篇很理论的文章，主要描述了petri net, process algebra, and concurrent programming language,以及它们之间的关系。文章80多页，自认为比较难懂。众所周知， BPEL主要的formal模型就来自于pi-caiculus--process algebar的一个分支，petri net又是一个对并行控制很强大的support.两者的结合应用必然可以提供一个很好模型基础用来发展formal method 来支持service oriented computing.

本文自认为适合掌握一定petri net, 和process algebra背景知识的人阅读，但是一旦融会贯通，必然会帮助大家在理论模型上有所突破。

欢迎就petri net and process algebra做讨论。pi-caiculus also great welcome.