Alimonti, P., Feuerstein, E., Laura, L. and Nanni, U. 2010. Linear Time Analysis of Properties of Conflict-Free and General Petri nets. Department of Computer and System Sciences Antonio Ruberti Technical Reports. 2, 9 (Jul. 2010), 24.