地域理論

領域理論は、遷移システムからペトリ ネットを合成するアプローチです。したがって、グローバル状態間の遷移から同時かつ独立した動作を回復することを目的としています。領域理論は、基本的なネット システムだけでなく、P/T ネットやその他の種類のネットも扱います。重要な点は、このアプローチがラベルなしペトリ ネットの合成のみを目的としていることです。

遷移システムの領域とは、各状態に数値（P/Tネットの場合は自然数、ENSの場合は2進数）を割り当て、各遷移ラベルに常に一貫性条件が満たされるような数値を 割り当てるマッピングです。^[1]${\displaystyle (S,\Lambda ,\rightarrow )}$${\displaystyle s\in S}$${\displaystyle \sigma (s)}$${\displaystyle \tau (\ell )}$${\displaystyle \sigma (s')=\sigma (s)+\tau (\ell )}$${\displaystyle (s,\ell ,s')\in \rightarrow }$

各領域はペトリネットの潜在的な場所を表します。

ムクンド：事象/状態分離特性、状態分離特性。^[2]

• Badouel, Eric; Darondeau, Philippe (1998)、Reisig, Wolfgang; Rozenberg, Grzegorz (編)、「領域の理論」、Lectures on Petri Nets I: Basic Models: Advances in Petri Nets、Lecture Notes in Computer Science、ベルリン、ハイデルベルク: Springer、pp. 529–586、doi :10.1007/3-540-65306-6_22、ISBN 978-3-540-49442-3