RicercaInizia una nuova ricerca
NOTA: è possibile cercare una corrispondenza esatta usando i doppi apici, ad es: "evoluzione della specie". Qualora si cerchi un identificativo, è consigliabile cercarlo in due modi differenti: tra apici con caratteri speciali es: "978-94-6366-274" oppure senza caratteri speciali solo come sequenza numerica: es 978946366274.
Improving real-time identification of Petri Nets using timing information
2009-01-01 Basile, Francesco; Chiacchio, Pasquale; G., DE TOMMASI
K-diagnosability of Time labeled Petri nets
2014-01-01 Basile, Francesco; Cabasino, Maria Paola; Seatzu, Carla
Makespan optimization using Timed Petri Nets and Mixed Integer Linear Programming Problem
2020-01-01 Marino, E. D.; Su, R.; Basile, F.
Marking estimation of Time Petri nets with unobservable transitions
2013-01-01 Basile, Francesco; Maria Paola, Cabasino; Carla, Seatzu
Model repair of Time Petri nets with temporal anomalies
2015-01-01 Basile, Francesco; Chiacchio, Pasquale; Coppola, Jolanda
Modeling of AS/RS via Coloured Petri Nets
2001-01-01 Basile, Francesco; C., Carbone; Chiacchio, Pasquale
Modelling automation systems by UML and Petri Nets
2008-01-01 Basile, Francesco; Chiacchio, Pasquale; DEL GROSSO, Domenico
Non-interference assessment in bounded Petri nets via Integer Linear Programming
2018-01-01 Basile, F.; De Tommasi, G.
Non-Interference Enforcement in Bounded Petri Nets
2019-01-01 Basile, Francesco; De Tommasi, Gianmaria; Sterle, Claudio
On the choice of suboptimal monitors for supervisory control of Petri nets
1998-01-01 Basile, Francesco; Chiacchio, Pasquale; A., Giua
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Improving real-time identification of Petri Nets using timing information | 1-gen-2009 | Basile, Francesco; Chiacchio, Pasquale; G., DE TOMMASI | |
K-diagnosability of Time labeled Petri nets | 1-gen-2014 | Basile, Francesco; Cabasino, Maria Paola; Seatzu, Carla | |
Makespan optimization using Timed Petri Nets and Mixed Integer Linear Programming Problem | 1-gen-2020 | Marino, E. D.; Su, R.; Basile, F. | |
Marking estimation of Time Petri nets with unobservable transitions | 1-gen-2013 | Basile, Francesco; Maria Paola, Cabasino; Carla, Seatzu | |
Model repair of Time Petri nets with temporal anomalies | 1-gen-2015 | Basile, Francesco; Chiacchio, Pasquale; Coppola, Jolanda | |
Modeling of AS/RS via Coloured Petri Nets | 1-gen-2001 | Basile, Francesco; C., Carbone; Chiacchio, Pasquale | |
Modelling automation systems by UML and Petri Nets | 1-gen-2008 | Basile, Francesco; Chiacchio, Pasquale; DEL GROSSO, Domenico | |
Non-interference assessment in bounded Petri nets via Integer Linear Programming | 1-gen-2018 | Basile, F.; De Tommasi, G. | |
Non-Interference Enforcement in Bounded Petri Nets | 1-gen-2019 | Basile, Francesco; De Tommasi, Gianmaria; Sterle, Claudio | |
On the choice of suboptimal monitors for supervisory control of Petri nets | 1-gen-1998 | Basile, Francesco; Chiacchio, Pasquale; A., Giua |
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
Opzioni
Scopri
Tipologia
- 4 Contributo in Atti convegno(ex ... 77
- 4 Contributo in Atti convegno(ex ... 77
Data di pubblicazione
- 2020 - 2022 8
- 2010 - 2019 41
- 2000 - 2009 26
- 1998 - 1999 2
Editore
- IEEE 37
- Institute of Electrical and Elect... 12
- IFAC 9
- Elsevier B.V. 8
- Institute of Electrical and Elect... 5
- Institute of Electrical and Elect... 2
- IEEE (Institute of Electrical and... 1
- IEEE Computer Society 1
- IFAC International Federation of ... 1
- IFAC Secretariat 1
Rivista
- IFAC-PAPERSONLINE 4
- PROCEEDINGS IEEE INTERNATIONAL CO... 3
- IEEE INTERNATIONAL CONFERENCE ON ... 1
- IFAC PROCEEDINGS VOLUMES 1
- PROCEEDINGS OF THE AMERICAN CONTR... 1
Serie
- IFAC-PAPERSONLINE 4
- PROCEEDINGS OF THE IEEE CONFERENC... 3
- PROCEEDINGS IEEE INTERNATIONAL CO... 2
- CONFERENCE PROCEEDINGS / IEEE INT... 1
- MEDITERRANEAN CONFERENCE ON CONTR... 1
Keyword
- Control and Systems Engineering 11
- Petri nets 9
- Control and Optimization 5
- ILP problems 5
- Time Petri nets 5
- Computer Networks and Communications 4
- DES 4
- Discrete event systems 4
- Electrical and Electronic Enginee... 4
- Automation 3
Lingua
- eng 72
Accesso al fulltext
- no fulltext 77