「ペトリネット」の版間の差分
削除された内容 追加された内容
Penn Station (会話 | 投稿記録) m カテゴリ変更 Category:図→Category:ダイアグラム |
|||
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:شبكات بيتري]]
|