分层离散事件系统的不透明性

针对离散事件系统(DES)的不透明性问题,结合具有分层(hierarchical)结构的自动机模型,提出了分层离散事件系统的不透明性.对分层离散事件系统进行标准化,给出了分层离散事件系统不透明性和K延迟不透明性两个概念.为了对分层离散事件系统的两种不透明性进行验证,分别构造了两种相应的不透明性验证器,得到了关于不透明性和K延迟不透明性的充分必要条件,并对构造不透明性验证器的复杂度进行了分析.