Petri网的gen-left k-net系统(具有非共享资源位置)的可达、禁止、活动状态枚举| IEEE会议出版物| IEEE Xplore