Title: Automatic verification of petri nets in a CLP framework