A Petri net asset management framework for railway switches and crossings. (March 2023)