ペトリネットの到達可能問題
ペトリネットと二つのマーキングm
i
、m
f
が与えられると、 m
i
[u>m
f
を満たすトランジッションの列uが存在するか否か判定するアルゴリズムを求める問題 を、 ペトリネットの到達可能問題と呼びます。