Liveness analysis of sequence control specifications described in capacity designated Petri net using reduction.

Tomohiro Murata, Norihisa Komoda

Browse the full ICRA paper archive.