カール・アダム・ペトリ

カール・アダム・ペトリ
生まれる	( 1926-07-12 )1926年7月12日 ライプツィヒ、ワイマール共和国
死亡	2010年7月2日(2010-07-02)（享年83歳） ジークブルク、ドイツ
母校	ハノーバー・ライプニッツ大学、ダルムシュタット工科大学
知られている	ペトリネット
受賞歴	第一級功労十字章(1988 年) コンラート・ツーゼ・メダル(1993 年) ヴェルナー・フォン・ジーメンス・リング(1996 年) IEEE コンピューター・パイオニア賞(2008 年) [1]
科学者としてのキャリア
フィールド	数学、コンピュータサイエンス
機関	ボン大学

カール・アダム・ペトリ(Carl Adam Petri、1926 年 7 月 12 日、ライプツィヒ– 2010 年 7 月 2 日、ジークブルク) ^{[2] [3]は、ドイツの}数学者、コンピューター科学者でした。

ペトリは1939年、13歳の時に化学反応を記述する目的でペトリネットの概念という主要な科学的貢献を生み出した。 ^[4] 1941年、父親からコンラート・ツーゼの計算機に関する研究について聞き、カール・アダムは独自のアナログコンピュータの構築を開始した。

1944年にトーマス学校でアビトゥーアを取得した後、ドイツ国防軍に徴兵された。1949年にイギリスを出国するまでイギリス軍の捕虜となった。^[5]

ペトリは、1950 年にハノーバー工科大学 (現在のハノーバー ライプニッツ大学) で数学の勉強を始めました。彼は 1962 年に博士論文「Kommunikation mit Automaten (オートマトンとの通信)」の一部としてペトリ ネットについて文書化しました。 1959 年から 1962 年までボン大学で働き、1962 年にダルムシュタット工科大学で博士号を取得しました。 1963 年から 1968 年まで、彼はボン大学のコンピューティング センターを設立し、指揮しました。^[5] 1968 年に、新しく設立された数学と日付に関する研究機関(GMD)の情報システム研究所の責任者に就任しました。彼は 1991 年に引退しました。

1988年、ペトリはハンブルク大学の名誉教授に就任した。^[6]彼はヨーロッパアカデミーの会員でもあった。

ペトリの研究は並列コンピューティングと分散コンピューティングの分野を大きく前進させ、複雑系とワークフロー管理システムの現代的な研究を定義するのに貢献しました。彼の貢献は、調整モデルと相互作用の理論を含むネットワーク理論のより広い領域に及び、最終的にはソフトウェアコネクタの正式な研究につながりました。

• 1962
  • 自動コミュニケーション (論文) カール・アダム・ペトリ著^[7]
• 1976
  • Nicht-sequentielle Prozesse (作業報告書) by Carl Adam Petri ^[8]
  • Communikationsdisziplinen (内部レポート) by Carl Adam Petri ^[9]
• 1977
  • 一般ネット理論（「コンピューティングシステム設計：ニューカッスル・アポン・タイン大学IBM合同セミナー議事録」より）カール・アダム・ペトリ著^[10]
  • コミュニケーション分野（「コンピューティングシステム設計：ニューカッスル・アポン・タイン大学IBM合同セミナー議事録」より、カール・アダム・ペトリ著^[11]）
• 1979
  • システム思考の基礎としての並行性（「第5回スカンジナビア論理シンポジウム議事録」より）カール・アダム・ペトリ著^[12]
  • Ansätze zur Organisationstheorie rechnergestützter Informationssysteme (書籍) by Carl Adam Petri ^[13]
• 1980
  • 並行性（「ネット理論と応用、プロセスとシステムの一般ネット理論上級講座の議事録、ハンブルク、1979年10月8日～19日」、カール・アダム・ペトリ著^{[14] ）}
  • 一般ネット理論入門（「ネット理論と応用、プロセスとシステムの一般ネット理論上級講座議事録、ハンブルク、1979年」より）カール・アダム・ペトリ著^[15]
• 1982
  • 物理学と計算における状態遷移構造（「国際理論物理学ジャーナル」の記事）カール・アダム・ペトリ著^[16]
• 1987
  • ^{並行性理論（「ペトリネット：中心モデルとその特性、ペトリネットの進歩 1986、パート I、上級コースの議事録、バート・ホンネフ、1986 年 9 月」、カール・アダム・ペトリ著[17]}より）
• 1996
  • ネット、時間、空間（「理論計算機科学」より）カール・アダム・ペトリ著^[18]
• 1997
  • カール・アダム・ペトリによるヴェルナー・フォン・ジーメンスリングの解釈^[19]
• 2008
  • カール・アダム・ペトリとヴォルフガング・ライジッヒによるペトリ・ネット^[20]

ペトリは以下の賞を受賞しました:

• 1993: Konrad Zuse情報科学研究勲章を受賞。^[21]
• 1997年：ヴェルナー・フォン・シーメンス・リング、技術科学分野で権威あるドイツの賞。^{[22] [23]}
• 1999年:サラゴサ大学より名誉^{博士号[24]}
• 2003年：オランダ女王陛下よりオランダ獅子勲章コマンダーを授与される。^[24]
• 2007年：「学際的学習および高度研究アカデミー（ATLAS）」より生涯の功績を称えられ「アカデミー名誉金メダル」を授与される。^[25]
• 2008年：ペトリネットの発明によりIEEEよりコンピュータパイオニア賞を受賞。^{[26] [24]}

• ペトリネット
• 離散イベント動的システム(DEDS)

ウィキメディア・コモンズには、カール・アダム・ペトリに関連するメディアがあります。

• カール・アダム・ペトリ教授