Bouzianeのペトリネット到達可能性問題と不正確さの変換

このペーパーはBouzianeの解決策が間違っていることを指摘しているようです。

http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.143.9009&rep=rep1&type=pdf

結論として:

この虚偽の申し立ては、州の数の制限   実際には無限に持つことができる構築されたオートマトンの
  多くの州。

私はこの点が一般的な到達可能性問題に関連していることを理解していると思うが、イラストとして使用されているPetri-Netにはトランジションでループが含まれている:t3とt1

検査されるPetri-Netが基本パスのみで構成されていた場合、その結果の目撃シーケンス/ステートマシン言語はポンピング補題に影響されません。

これは正確なようですか?なぜ、または、どうしてですか?

ベストアンサー

私が理解するのを助けた別の記事を見つけました:

PETRIネットにおけるいくつかの問題の矛盾*

http://www.sciencedirect.com/science/article/pii/0304397577900147

このペーパーは、k-境界ペトリネットと無限のペトリネットの違いを説明するのに良い仕事です。

ペトリネットは、有限の到達可能性が設定されている場合に限り、バインドされます。

Bouzianeのソリューションは、限定されたペトリネットにのみ適用されます。

返信を残す

メールアドレスが公開されることはありません。 * が付いている欄は必須項目です