卡爾·亞當·佩特里（Carl Adam Petri，1926年7月12日— 2010年7月2日）是一位德國數學家和信息學家。他在德國漢諾威學習數學，并在姆施塔特工業大學獲得自然科學博士學位。他曾在波恩大學計算中心和數學和數據處理公司信息系統研究中心擔任領導職務。他的主要貢獻在于發展了被稱為所有流程定義語言之母的Petri網，這是一種用于分布式系統建模的理論。
人物經歷
卡爾·亞當·佩特里于1926年7月12日出生于德國萊比錫市。他的父親是一位數學博士，鼓勵他對科學的好奇心。
在他12歲的生日那天，他的父親為他買了兩本化學教科書，這激發了他對化學的興趣。他開始畫出自己發明的“反應流程圖”，并發現可以將化學反應連成長鏈，從簡單物質變成復雜的化合物。這種特殊的樂趣使他能夠將化學書變成一串串長長的反應鏈。
而且，這種反應鏈可以因為加入的物質的種類不同、順序不同，而產生千變萬化的結果。小佩特里靠著畫這種”草圖“，輕易記住了許多種變化學戲法的絕活，在萊比錫市著名的圣湯瑪斯大學中學(Thomasschule zu Leipzig)的同學中以化學方面具有讓人百思不得其解的奇才而小有名氣。鑒于兒子對化學、物理等科學類課程突然爆發的熱情，老佩特里又想辦法幫兒子兒子弄到了一張對未成年人來說簡直不可思議的萊比錫市立圖書館的”無限制閱讀“閱覽證。一年后，小Petri居然對阿爾伯特·愛因斯坦和海森伯格的最新著作發生了興趣。當然，小Petri 完全是被這些文章中優美，精煉的語言，以及對物理現象的精確無誤的數學描述所吸引。
18歲那年，同盟國對德國重要工業城市的大規模空襲越來越具毀滅性，佩特里從圣托馬斯中學畢業后立即被征召入伍，成為一名德國防空部隊的炮兵指揮官助理員。他的任務是估計來襲的敵機的高度、距離、和速度。但令人懊惱的是，用來獲取這些重要數據的方法很大成分上靠視覺判斷，和耳朵聽。在那段日子里，佩特里深受這種匆匆忙忙的手工測量和粗略估計相混合的簡陋方法的困擾，在不斷追究哪些難以忘懷的錯誤判斷的責任和原因中頗受煎熬。這段經歷，成為佩特里以后一生的研究工作的動力。
1950年，佩特里開始在德國漢諾威學習數學。1956年，他完成了理學碩士學位，并在漢諾威和波恩做過一陣助教。1962年，他進入姆施塔特工業大學攻讀自然科學博士學位。
1963年到1968年間，佩特里領導波恩大學計算中心。1968年到1991年，他是數學和數據處理公司信息系統研究中心的主任。1988年，他被漢堡大學授予榮譽教授。1993年，他因其在信息學方面的特殊貢獻被授予Konrad-Zuse獎章。
佩特里的主要貢獻是發展了被稱為所有流程定義語言之母的petri網，這是一種用于分布式系統建模的理論。他在13歲時創造出了Petri網的原型，經過70年的變遷和無數理論家、實踐者的豐富完善，現在已經成為了所有流程定義語言之母。
佩特里提交了他的博士論文《自動機的通訊》(Communication with Automata)。論文中指出，當時流行的自動機理論必將很快過時，取而代之的將是與最新物理學進展－“狹義相對論”和“不確定性原理”相一致的新的理論。這種新的理論將能夠精確地描述分布式的并發系統。
參考資料 >