DICER: Data Inconsistency CheckER based on the unfolding technique of Petri net | IEEE Conference Publication | IEEE Xplore