Petri nets for systems engineering: a guide to modeling, verification, and applications