Multi-car multi-shaft elevator system design problem and a solution method based on CPN tools | IEEE Conference Publication | IEEE Xplore