A Petri net-based software synchronizer for automatic measurement systems