Yianni, P., Neves, L. C., Rama, D., Andrews, J., & Dean, R. (2017). Bridge asset management using Petri-Nets