P. Alimonti, E. Feuerstein, L. Laura, and U. Nanni, “Linear Time Analysis of Properties of Conflict-Free and General Petri nets”, DIS Technical Reports, vol. 2, no. 9, p. 24, Jul. 2010.