Petri nets: An examination of a versatile modeling tool | IEEE Journals & Magazine | IEEE Xplore