Model Checking of Variable Petri Nets by Using the Kripke Structure | IEEE Journals & Magazine | IEEE Xplore