most citedTesting experiments on synchronized Petri nets

2 citations · 2 across the 1 of their papers we have counts for

collaborators

1 paper

eess.SY2013★ 2 cited

Testing experiments on synchronized Petri nets

M. Pocci, I. Demongodin, N. Giambiasi +1

Synchronizing sequences have been proposed in the late 60's to solve testing problems on systems modeled by finite state machines. Such sequences lead a system, seen as a black box…