ペトリネットの到達可能状態を解くアルゴリズム

• ペトリネット
• ペトリネットの到達可能問題
• pMGTS
• ペトリネット言語の、pMGTS言語の和への変換