Discrete event diagnosis using labeled Petri nets. An application to manufacturing systems MP Cabasino, A Giua, M Pocci, C Seatzu Control Engineering Practice 19 (9), 989-1001, 2011 | 135 | 2011 |

Testing experiments on synchronized Petri nets M Pocci, I Demongodin, N Giambiasi, A Giua IEEE Transactions on Automation Science and Engineering 11 (1), 125-138, 2013 | 15 | 2013 |

Synchronizing sequences on a class of unbounded systems using synchronized Petri nets M Pocci, I Demongodin, N Giambiasi, A Giua Discrete Event Dynamic Systems 26 (1), 85-108, 2016 | 12 | 2016 |

Testing discrete event systems: synchronizing sequences using Petri nets M Pocci, I Demongodin, N Giambiasi, A Giua | 5 | 2010 |

Testing experiments on unbounded systems: synchronizing sequences using Petri nets M Pocci, I Demongodin, N Giambiasi, A Giua IFAC Proceedings Volumes 47 (2), 155-161, 2014 | 4 | 2014 |

A new algorithm to compute synchronizing sequences for synchronized Petri nets M Pocci, I Demongodin, N Giambiasi, A Giua 2013 IEEE International Conference of IEEE Region 10 (TENCON 2013), 1-6, 2013 | 4 | 2013 |

Test and diagnosis of discrete event systems using Petri nets M Pocci Aix-Marseille, 2013 | 4 | 2013 |

Synchronizing sequences on not strongly connected Petri nets M Pocci, I Demongodin, N Giambiasi, A Giua | 4 | 2011 |

Un toolbox per la diagnosticabilità di reti posto/transizione M Pocci Master’s thesis, Dep. Electric and Electronic Engineering, University of …, 0 | 2 | |

Testing experiments on bounded Petri nets M Pocci, I Demongodin, N Giambiasi, A Giua | | 2014 |

Testing experiments on State Machine Petri nets M Pocci, I Demongodin, N Giambiasi, A Giua | | 2013 |

Synchronizing sequences on not strongly connected Petri nets (Work-in-Progress) M Pocci, I Demongodin, N Giambiasi, A Giua Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS …, 2011 | | 2011 |

Séquences de synchronisation sur les réseaux de Petri M Pocci, I Demongodin, N Giambiasi, A Giua | | 2011 |