给出了Petri网上广义互斥约束的最大允许监控器综合方法,其中该监控问题满足两个条件:正权值禁止库所的影响子网是状态机;负权值禁止库所的输入和输出变迁均只有一个输入库所。首先得到了监控器存在的充分和必要条件;其次构造了约束等价转换的方法,该方法可将存在不可控变迁的监控问题简化为相当于变迁全部可控的监控问题。最后通过一个例子说明了该方法的可行性。
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~