Alimonti, Paola and Feuerstein, Esteban and Laura, Luigi and Nanni, Umberto (2010) Linear Time Analysis of Properties of Conflict-Free and General Petri nets. Technical Report. Dipartimento di Informatica e Sistemistica Antonio Ruberti.