Testing Experiments on Synchronized Petri Nets

Synchronizing sequences have been proposed in the late 1960s to solve testing problems on systems modeled by finitestate machines. Such sequences lead a system, seen as a black box, from an unknown current state to a known final one. This paper presents a first investigation of the computation of synchronizing sequences for systems modeled by synchronized Petri nets. In the first part of the p…