Sfoglia per Autore
Diagnosability analysis of unbounded Petri nets
2009-01-01 Cabasino, MARIA PAOLA; Giua, Alessandro; Lafortune, S; Seatzu, Carla
Linear Programming Techniques for the Identification of Place/Transition Nets
2008-01-01 Cabasino, MARIA PAOLA; Giua, Alessandro; Seatzu, Carla
A comparison between two diagnostic tools based on automata and Petri nets
2008-01-01 Lai, Stefano; Nessi, D; Cabasino, MARIA PAOLA; Giua, Alessandro; Seatzu, Carla
Supervisor Synthesis for Discrete Event Systems with Arbitrary Forbidden State Specifications
2008-01-01 Ru, Y; Cabasino, MARIA PAOLA; Giua, Alessandro; Hadjicostis, Cn
Fault model identification with Petri nets
2008-01-01 Cabasino, MARIA PAOLA; Giua, Alessandro; Hadjicostis, Cn; Seatzu, Carla
Identification of Petri nets from knowledge of their language
2007-01-01 Cabasino, MARIA PAOLA; Giua, Alessandro; Seatzu, Carla
State estimation of untimed and timed continuous Petri nets
2007-01-01 C., Mahulea; Cabasino, MARIA PAOLA; A., Giua; Seatzu, Carla
Marking estimation of Petri nets with arbitrary transition labeling
2007-01-01 Cabasino, MARIA PAOLA; Giua, Alessandro; Seatzu, Carla
State Estimation of Petri Nets by Transformation
2007-01-01 Cabasino, MARIA PAOLA; Giua, Alessandro; Mahulea, C; Recalde, L; Seatzu, Carla; Silva, M.
Computational complexity analysis of a Petri net identification procedure
2006-01-01 Cabasino, MARIA PAOLA; Giua, Alessandro; Seatzu, Carla
Identification of deterministic Petri nets
2006-01-01 Cabasino, MARIA PAOLA; Giua, Alessandro; Seatzu, Carla
Identification of unbounded Petri nets from their coverability graph
2006-01-01 Cabasino, MARIA PAOLA; Giua, Alessandro; Seatzu, Carla
| Titolo | Data di pubblicazione | Autore(i) | Rivista | Editore |
|---|---|---|---|---|
| Diagnosability analysis of unbounded Petri nets | 1-gen-2009 | Cabasino, MARIA PAOLA; Giua, Alessandro; Lafortune, S; Seatzu, Carla | - | - |
| Linear Programming Techniques for the Identification of Place/Transition Nets | 1-gen-2008 | Cabasino, MARIA PAOLA; Giua, Alessandro; Seatzu, Carla | - | - |
| A comparison between two diagnostic tools based on automata and Petri nets | 1-gen-2008 | Lai, Stefano; Nessi, D; Cabasino, MARIA PAOLA; Giua, Alessandro; Seatzu, Carla | - | - |
| Supervisor Synthesis for Discrete Event Systems with Arbitrary Forbidden State Specifications | 1-gen-2008 | Ru, Y; Cabasino, MARIA PAOLA; Giua, Alessandro; Hadjicostis, Cn | - | - |
| Fault model identification with Petri nets | 1-gen-2008 | Cabasino, MARIA PAOLA; Giua, Alessandro; Hadjicostis, Cn; Seatzu, Carla | - | - |
| Identification of Petri nets from knowledge of their language | 1-gen-2007 | Cabasino, MARIA PAOLA; Giua, Alessandro; Seatzu, Carla | DISCRETE EVENT DYNAMIC SYSTEMS | - |
| State estimation of untimed and timed continuous Petri nets | 1-gen-2007 | C., Mahulea; Cabasino, MARIA PAOLA; A., Giua; Seatzu, Carla | - | - |
| Marking estimation of Petri nets with arbitrary transition labeling | 1-gen-2007 | Cabasino, MARIA PAOLA; Giua, Alessandro; Seatzu, Carla | - | - |
| State Estimation of Petri Nets by Transformation | 1-gen-2007 | Cabasino, MARIA PAOLA; Giua, Alessandro; Mahulea, C; Recalde, L; Seatzu, Carla; Silva, M. | - | - |
| Computational complexity analysis of a Petri net identification procedure | 1-gen-2006 | Cabasino, MARIA PAOLA; Giua, Alessandro; Seatzu, Carla | - | - |
| Identification of deterministic Petri nets | 1-gen-2006 | Cabasino, MARIA PAOLA; Giua, Alessandro; Seatzu, Carla | - | - |
| Identification of unbounded Petri nets from their coverability graph | 1-gen-2006 | Cabasino, MARIA PAOLA; Giua, Alessandro; Seatzu, Carla | - | - |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile