ペトリネット

ペトリネットは、離散分散システムを数学的に表現する手法であり、分散システムを注釈付きの有効２部グラフを用いて、視覚的に表現します．ワークフローなどのシステムの動的な動きを表現する方法です。PIONEでは、ペトリネットで表現される分散システムに類似のシステムを表現できます．