Modeling and optimization of kanban controlled manufacturing systems with GSPN including QN | IEEE Conference Publication | IEEE Xplore