Petri网的合法变迁引发序列（Legal Firing Sequence,简称LFS）问题是Petri网可达性问题的子问题,目前已有较多的研究成果。通过反例指......

Petri网的合法变迁引发序列问题（LFS）是其可达性问题的子问题。前人在LFS判定时常因判定算法的指数级时空复杂度或算法难以推广至一......