ペトリネットというのは、詳細は Wikipedia の説明にお願いするとして、簡単にいうと並行分散システムをグラフィカルに記述するための数学的手法です。 最近、マルチコアプロセッサが普及してくるにつけ、特に組込システムにおいてプログラミング技術のさら…