允许约束相关论文
对于含有不可控变迁的Petri网监控问题,允许状态空间可能需要一组“或”的允许约束来描述,而库所不变量的监控方法只将给定约束转......
针对基于Petri网建模的离散事件系统的Petri网控制器的设计问题，分析了系统中存在不可控变迁时的情况，并基于局部设计和Petri网简化......
