It solves the forbidden state problem for discrete event systems modelled by partially observable event graphs subject to Marking Exclusion Constraints (MEC).
確定! 回上一頁