並列処理アーキテクチャ

ペトリネットについて。マルチスレッドのプログラムとかもペトリネットとかを使えば検証できるわけですか。なるほど興味深い。