Yangluo Zheng

新しいアルゴリズムが、状態を持つベクトル加算システムの到達可能性問題を改善する。

ベクター加算システムとその到達可能性の課題についての簡単な解説。