Synchronizing sequences on not strongly connected Petri nets. - Marco Pocci; Isabel Demongodin; Norbert Giambiasi; Alessandro Giua (SpringSim (TMS-DEVS), 2011)

Testing Experiments on Unbounded Systems: Synchronizing Sequences Using Petri Nets. - Marco Pocci; Isabel Demongodin; Norbert Giambiasi; Alessandro Giua (WODES, 2014)

Testing Experiments on Synchronized Petri Nets. - Marco Pocci; Isabel Demongodin; Norbert Giambiasi; Alessandro Giua (IEEE Trans Autom. Sci. Eng., 2014)

Synchronizing sequences on a class of unbounded systems using synchronized Petri nets. - Marco Pocci; Isabel Demongodin; Norbert Giambiasi; Alessandro Giua (Discret. Event Dyn. Syst., 2016)