Synthesis of Petri nets controller for the constraints involving marking vector and Parikh vector.

Shouguang Wang, Gangfeng Yan

Browse the full SMC paper archive.