Multi-car multi-shaft elevator system design problem and a solution method based on CPN tools. - Norihide Ishida; Shingo Yamaguchi 001 (GCCE, 2013)