Liveness-enforcing supervisor design for a class of generalised petri net models of flexible manufacturing systems
Distribution of the number of citations over years.