A Polynomial-Time Algorithm to Obtain State Machine Cover of Live and Safe Petri Nets
Distribution of the number of citations over years.