Folgen
Marco Pocci
Marco Pocci
Aix-Marseille University - University of Cagliari
Bestätigte E-Mail-Adresse bei lsis.org
Titel
Zitiert von
Zitiert von
Jahr
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
2182011
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
272013
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
202016
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
102014
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
102013
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
62011
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
62010
Test and diagnosis of discrete event systems using Petri nets
M Pocci
Aix-Marseille, 2013
52013
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
12011
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–12