| 2021 | ETFA | A sliding-window approach to analyze the accuracy of timed DESs. | Francesco Basile, Luigi Ferrara |
| 2019 | ETFA | Auction-based mechanisms for the control of vehicles in Smart Logistic Systems. | Francesco Basile, Pasquale Chiacchio, Emiliano Di Marino |
| 2019 | SMC | Identification of Timed Input/Output Relationships For Industrial Automation Systems Using Timed Interpreted Petri Nets. | Francesco Basile, Luigi Ferrara |
| 2018 | ETFA | Efficient diagnosability assessment via ILP optimization: a railway benchmark. | Francesco Basile, Gianmaria De Tommasi, Claudio Sterle, Abderraouf Boussif, Mohamed Ghazel |
| 2018 | ETFA | Control design for timed Petri nets based on LMIs and structure expansion. | Alioune Mbaye, Dimitri Lefebvre, Francesco Basile |
| 2016 | ETFA | A Colored Timed Petri Net model for a cyber-physical view of automated warehouse systems. | Francesco Basile, Pasquale Chiacchio, Jolanda Coppola |
| 2015 | ETFA | Automated warehouse systems: A cyber-physical system perspective. | Francesco Basile, Pasquale Chiacchio, Jolanda Coppola, Diego Gerbasio |
| 2014 | ETFA | Automated implementation of Petri Nets on PLCs with OOP. | Francesco Basile, Pasquale Chiacchio, Jolanda Coppola, Diego Gerbasio |
| 2013 | ETFA | An approach for the identification of time Petri net systems. | Francesco Basile, Pasquale Chiacchio, Jolanda Coppola |
| 2013 | ETFA | Marking estimation of Time Petri nets with unobservable transitions. | Francesco Basile, Maria Paola Cabasino, Carla Seatzu |
| 2012 | ETFA | A Hybrid Petri Nets approach for Unmanned Aerial Vehicles monitoring. | Francesco Basile, Pasquale Chiacchio, Jolanda Coppola, Diego Gerbasio |
| 2011 | ETFA | A hybrid model for the control and the analysis of complex automated warehouse systems. | Francesco Basile, Pasquale Chiacchio, Jolanda Coppola |
| 2010 | ETFA | A novel approach to PLC programming for distributed automation systems control. | Francesco Basile, Pasquale Chiacchio, Diego Gerbasio |
| 2009 | ETFA | An Approach to Control Generalized Warehouses. | Francesco Basile, Pasquale Chiacchio, Domenico Del Grosso |
| 2009 | ETFA | Improving Real-time Identification of Petri Nets using Timing Information. | Francesco Basile, Pasquale Chiacchio, Gianmaria De Tommasi |
| 2008 | ETFA | UML-based modeling and model-driven development of distributed control systems. | Francesco Basile, Pasquale Chiacchio, Domenico Del Grosso |
| 2007 | ACC | Supervisory Control of Petri Nets with Decentralized Monitor Places. | Francesco Basile, Alessandro Giua, Carla Seatzu |
| 2005 | ETFA | Decentralized supervisory control of Petri nets with monitor places. | Francesco Basile, Alessandro Giua, Carla Seatzu |
| 2004 | SMC | A hybrid model for urban traffic control. | Francesco Basile, Ciro Carbone, Pasquale Chiacchio, Ren K. Boel, Camelia Claudia Avram |
| 2003 | ICRA | Petri net controllers to enforce disjunction of GMECs. | Francesco Basile, Ciro Carbone, Pasquale Chiacchio |
| 2003 | SMC | An approach to enforce disjunction of GMECs on controlled Petri Nets. | Francesco Basile, Ciro Carbone, Pasquale Chiacchio |
| 2002 | ICRA | Crane and Shuttle Optimization in Warehousing Systems. | Francesco Amato, Francesco Basile, Pasquale Chiacchio |
| 2001 | ETFA | Optimal control of warehousing systems with simultaneous crane and shuttle optimization. | Francesco Amato, Francesco Basile |
| 2001 | ETFA | Deadlock recovery of Petri net models controlled using observers. | Francesco Basile, Pasquale Chiacchio, Alessandro Giua, Carla Seatzu |
| 1998 | SMC | On the choice of suboptimal monitors for supervisory control of Petri nets. | Francesco Basile, Pasquale Chiacchio, Alessandro Giua |