Petri网和代数并发语义

Milner认为：“把代数并发性方面的工作与Petri在Petri网上早早取得的丰硕成果联系起来，是一个非常有希望的发展线索．然而由于它们的概念基础并不完全吻合，所以还有困难．”本文即从Milner的图灵奖演说入手，介绍Petri网与л演算相公的若干基本内容和基本观点，并找出Petri网与代数并发语义的根本差别．