Testing Discrete Event Systems: Synchronizing Sequences using Petri Nets