Verification of Nested Petri Nets Using an Unfolding Approach. - Irina A. Lomazova; Vera O. Ermakova (PNSE @ Petri Nets, 2016)