Marco Pocci
Marco Pocci
Aix-Marseille University - University of Cagliari
lsis.org의 이메일 확인됨
제목
인용
인용
연도
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
1622011
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
202013
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
162016
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
82014
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
82013
Testing discrete event systems: synchronizing sequences using Petri nets
M Pocci, I Demongodin, N Giambiasi, A Giua
52010
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 State Machine Petri nets
M Pocci, I Demongodin, N Giambiasi, A Giua
Technical Report (original paper submitted to IEEE Transactions on …, 2013
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
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–12