| 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 | 226 | 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 | 28 | 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, 85-108, 2016 | 21 | 2016 |
| 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 | 10 | 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 | 10 | 2013 |
| Test and diagnosis of discrete event systems using Petri nets M Pocci Ph. D. thesis, 2013 | 6 | 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 | 6 | 2011 |
| Testing discrete event systems: synchronizing sequences using Petri nets M Pocci, I Demongodin, N Giambiasi, A Giua Proc. 22ND EUROPEAN MODELING & SIMULATION SYMPOSIUM (FES, MOROCCO), 2010 | 6 | 2010 |
| Un toolbox per la diagnosticabilità di reti posto/transizione M Pocci Master’s thesis, Dep. Electric and Electronic Engineering, University of …, 0 | 2 | |
| Séquences de synchronisation sur les réseaux de Petri M Pocci, I Demongodin, N Giambiasi, A Giua JDMACS’11: 4èmes Journées Doctorales MACS (Marseille, France), 2011 | 1 | 2011 |
| Testing experiments on State Machine Petri nets M Pocci, I Demongodin, N Giambiasi, A Giua Technical Report (original paper submitted to IEEE Transactions on …, 2013 | | 2013 |
| Séquences de test pour les réseaux de Petri M POCCI | | |
