BERNARDINELLO LUCA

Role
Tenured Assistant Professor  
Academic disciplines
Informatica (INF/01)
Office phone
Room:
  • U14, Floor: 2, Room: 2011

Publications

  • Adobbati, F., Bernardinello, L., Soylu, G., Pomello, L. (2022). Information Flow Among Transitions of Bounded Equal-Conflict Petri Nets. In Petri Nets and Software Engineering 2022 co-located with the 43rd International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2022) (pp.60-79). CEUR-WS. Detail

  • Adobbati, F., Bernardinello, L., Pomello, L., Stramare, R. (2022). Implementable strategies for a two-player asynchronous game on Petri nets. In 2022 Workshop on Algorithms and Theories for the Analysis of Event Data, ATAED 2022 (pp.69-75). CEUR-WS. Detail

  • Bernardinello, L. (2021). Topics in Region Theory and Synthesis Problems. In Application and Theory of Petri Nets and Concurrency
    42nd International Conference, PETRI NETS 2021, Virtual Event, June 23–25, 2021, Proceedings (pp.3-16). Springer Science and Business Media Deutschland GmbH [10.1007/978-3-030-76983-3_1].
     Detail

  • Adobbati, F., Bernardinello, L., Pomello, L. (2021). A Two-Player Asynchronous Game on Fully Observable Petri Nets. In K.F. Koutny M. (a cura di), Transactions on Petri Nets and Other Models of Concurrency XV. (pp. 126-149). Springer Science and Business Media Deutschland GmbH [10.1007/978-3-662-63079-2_6]. Detail

  • Bernardinello, L., Ferigato, C., Pomello, L. (2020). Logic and Algebra in Unfolded Petri Nets: On a Duality between Concurrency and Causal Dependence. FUNDAMENTA INFORMATICAE, 171(1-4), 39-56 [10.3233/FI-2020-1871]. Detail

Research projects

BERNARDINELLO-Fondo per il finanziamento delle attività base di ricerca
Year: 2017
Call: FFABR 2017
Grantors: M.I.U.R. - MINISTERO DELL'ISTRUZIONE, DELL'UNIVERSITA' E DELLA RICERCA - UFFICIO I - Bilancio e Contabilita'. Coordinamento staff della Direzione

Awards

Congresses/Conferences

  • Program chair - 43rd International Conference on Application and Theory of Petri Nets and Concurrency(Norvegia), 2022
  • Program chair - Application of concurrency to system design (ACSD), 2014