Testing experiments on unbounded systems: synchronizing sequences using Petri nets