Alimonti, P.; Feuerstein, E.; Laura, L.; Nanni, U. Linear Time Analysis of Properties of Conflict-Free and General Petri Nets. DIS Technical Reports 2010, 2, 24.