Automated verification of object Petri nets based on transformation, unfoldings and SAT solving. - Ismaila Abdullahi (2018)