不可控不可观变迁相关论文
在基于Petri网建模的离散事件系统中,提出利用局部关联信息进行约束转换,并实现Petri网结构监控器综合的方法.对以Parikh矢量约束......
在基于Petri网建模的离散事件系统中，提出利用局部关联信息进行约束转换，并实现Petri网结构监控器综合的方法．对以Parikh矢量约束形式......
