petri net

（图片来自Wikipedia）

2010年7月2日，著名德国数学家、计算机科学家Carl Adam Petri与世长辞，享年83岁。他在计算机科学方面的主要成就，是提出了用于描述和建模分布式并发系统的Petri网模型和以此模型为基础发展出来的网论（net theory），在软件设计（尤其是模型驱动设计）、工作流管理、流程控制、协议验证、机械工程等领域都有广泛应用。

与其他工业标准如UML活动图、BPMN不同的是，Petri网既有严格的数学表述方式，也有直观的图形表达方式。Petri网的模拟能力已被证明与图灵机是等价的。但Petri网也有所建模型容易变得非常庞大等缺点。

按Wikipedia中文版的描述：

经典的Petri网是简单的过程模型，由两种节点：库所（place）和变迁（transition）、有向弧以及令牌（token）等元素组成的。


【人物小传】

1926年7月12日Petri生于德国莱比锡。根据好友的回忆，Petri的父亲是一位数学家，给他讲过许多数学家的故事，因此他从小就对数学发生了兴趣。而且由于父亲的关系，他得以很早就读到爱因斯坦的著作，当时这些书在德国还是禁书。

1939年，他13岁那年，为了描述化学过程而产生了Petri网（这个名字当然是后来其他人命名的）的最初想法。但这一想法直到1962年他写作博士论文“Kommunikation mit Automaten”（用自动机通信）才第一次以文献形式公诸于世。（Petri的文章）

1941年，父亲给他介绍了德国计算机先驱Konrad Zuse的工作，立即引起了他对计算机的兴趣。除了计算机理论研究之外，他甚至自己设计了一台小的模拟计算机。

1944年他刚刚高中毕业，就被迫加入了纳粹德军。后被英军俘虏，监禁在英国，直到1949年才被释放。（Wilfried Brauer, Wolfgang Reisig）在此期间，他一直在思考计算的本质，模拟计算和数字计算的差异等重大课题。他发现，已有的计算机理论如自动机和形式语言不适合描述物理系统，缺乏重要的并发概念。

1950年，他返回德国，在汉诺威工业大学（ Technical University Hannover）学习数学，并曾在IBM接受一年培训。1956年获得学位，并留校任教。1959年转到波恩大学任教并攻读博士学位。

1962年他在达姆施塔特工业大学获得博士学位。此后的科研生涯中，他创建了波恩大学的计算中心，并担任过德国国家数学与计算中心主任等职。

1989年他当选欧洲科学院院士。2008年他荣获计算机领域最高荣誉之一IEEE计算机先驱奖。他对计算机科学的贡献，可以在Milner 1991年图灵奖获奖演讲中的话得到充分证明：

“一直以来我叙述的许多内容，其实Petri在1960年代已经想到了，他是离散并发系统的科学建模的先驱。他的工作是并发理论的源头。”
应该说，Petri网是超越时代的，虽然在学术界一直有一些影响，但工业界注意到它的重要性，还是近年的事情。此前多年，Petri本人一直比较寂寞。但终其一生，他都在并发理论不断前行，硕果累累。