Yianni, P., Neves, Luís C., Rama, D., Andrews, J., Dean, R., "Bridge asset management using Petri-Nets", , 2017