2011年6月17日
后知后觉的我，Petri Net的提出者Carl Adam Petri已经去世了
摘要： 今天翻起一本10年8月的ACM通信，突然发现有个红字Obituary，一看居然是Carl Adam Petri去世了。作为一个研究形式化技术的学生，感觉到一丝伤痛。 2010年7月2日，著名德国数学家、计算机科学家Carl Adam Petri与世长辞，享年83岁。他在计算机科学方面的主要成就，是提出了用于描述和建模分布式并发系统的Petri网模型和以此模型为基础发展出来的网论（net theo... 阅读全文
posted @ 2011-06-17 21:12 牛皮糖NewPtone 阅读(1273) 评论(4) 推荐(0) 编辑