Optimal liveness Petri net controllers with minimal structures for automated manufacturing systems.

Keyi Xing, Baosheng Hu

Browse the full SMC paper archive.