A petri net-based modeling and scheduling with a branch and bound algorithm.

Hyun-Jung Kim, Jun-Ho Lee, Tae-Eog Lee

Browse the full SMC paper archive.