Marco Pocci
Marco Pocci
Aix-Marseille University - University of Cagliari
Verified email at lsis.org
Title
Cited by
Cited by
Year
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
1412011
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
152013
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
122016
Testing discrete event systems: synchronizing sequences using Petri nets
M Pocci, I Demongodin, N Giambiasi, A Giua
52010
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
42014
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
42013
Test and diagnosis of discrete event systems using Petri nets
M Pocci
Aix-Marseille, 2013
42013
Synchronizing sequences on not strongly connected Petri nets
M Pocci, I Demongodin, N Giambiasi, A Giua
42011
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
The system can't perform the operation now. Try again later.
Articles 1–13