削除された内容 追加された内容
51行目:
#Meseguer, J. Montanari, U. , Petri nets are monoids, information and computation 88, 105-155, 1990
 
{{Computer-stub}}
{{DEFAULTSORT:へとりねつと}}
[[Category:計算モデル]]
[[Category:形式手法]]
[[Category:並行性]]
[[Category:ダイアグラム]]
{{Computer-stub}}
 
[[ar:شبكات بيتري]]