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.
"A Petri net simulator based on object-oriented programming"
1996-01-01 Fanni, Alessandra; Giua, Alessandro; Marchesi, Michele; Sanna, N.
"Object-oriented Petri net simulation for traffic signal control"
1996-01-01 Fanni, Alessandra; Giua, Alessandro; Marchesi, Michele; Sanna, N.
A comparison among tools for the diagnosability of discrete event systems
2012-01-01 Cabasino, Mp; Giua, Alessandro; Marcias, L; 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
A Constraint Transformation Technique for Petri Nets with Certain Uncontrollable Structures
2014-01-01 Ma, Z; Li, Z; Giua, Alessandro
A constraint transformation technique in Petri nets with backward-conflict-free uncontrollable structures
2015-01-01 Ma, Z.; Li, Z.; Giua, Alessandro
A deadlock prevention method for railway networks using monitors for colored Petri nets
2003-01-01 Fanti, Mp; Giua, Alessandro; Seatzu, Carla
A Decentralized Lifetime Maximization Algorithm for Distributed Applications in Wireless Sensor Networks
2012-01-01 Pilloni, Virginia; Franceschelli, Mauro; Atzori, Luigi; Giua, Alessandro
A heuristic algorithm to optimize execution time of multi-robot path
2017-01-01 Deplano, Diego; Ware, Simon; Su, Rong; Giua, Alessandro
A linear state variable model for first-order hybrid Petri nets
1999-01-01 Balduzzi, F; Menga, G; 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
Opzioni
Scopri
Tipologia
- 4 Contributo in Atti di Convegno ... 192
- 4 Contributo in Atti di Convegno ... 192
Data di pubblicazione
- 2020 - 2023 20
- 2010 - 2019 73
- 2000 - 2009 85
- 1990 - 1999 13
- 1988 - 1989 1
Editore
- ELSEVIER 8
- Institute of Electrical and Elect... 8
- IEEE 7
- Elsevier B.V. 5
- IEEE (Institute of Electrical and... 5
- IEEE, Institute of Electrical and... 3
- Institute of Electrical and Elect... 3
- Elsevier 2
- IEEE Computer Society 2
- ??? 1
Rivista
- PROCEEDINGS OF THE IEEE CONFERENC... 2
- IEEE INTERNATIONAL CONFERENCE ON ... 1
- IFAC PROCEEDINGS VOLUMES 1
- PROCEEDINGS OF THE AMERICAN CONTR... 1
- SIMULATION SERIES 1
Serie
- IFAC-PAPERSONLINE 16
- PROCEEDINGS OF THE IEEE CONFERENC... 7
- INTERNATIONAL CONFERENCE ON CONTR... 3
- IEEE INTERNATIONAL CONFERENCE ON ... 2
- PROCEEDINGS IEEE INTERNATIONAL CO... 2
- PROCEEDINGS OF THE AMERICAN CONTR... 2
- CEUR WORKSHOP PROCEEDINGS 1
- CONFERENCE PROCEEDINGS / IEEE INT... 1
- IFAC PROCEEDINGS VOLUMES 1
- LECTURE NOTES IN CONTROL AND INFO... 1
Keyword
- Control and Systems Engineering 13
- Petri nets 10
- Control and Optimization 6
- Discrete event system 5
- Decision Sciences (miscellaneous) 4
- Electrical and Electronic Enginee... 4
- Supervisory control 4
- Artificial Intelligence 3
- Automata 3
- Complexity theory 3
Lingua
- eng 96
- fre 1
- ita 1
Accesso al fulltext
- no fulltext 141
- reserved 33
- open 17
- partially open 1