ペトリネットの決定可能性問題に関する25年間の研究概要

ペトリネットの決定可能性に関する広範な研究にもかかわらず、多くの重要な問題、特に振る舞い的等価性と分岐時間時相論理に関する問題は、依然として決定不能である。