Synchronizing sequences on a class of unbounded systems using synchronized Petri nets