Petri Net-Based Validation of New Safety Requirements of the CSM Regulation in relation to Standardised Level Crossings in Switzerland
This paper describes the procedure used to validate a risk acceptance criterion for technical systems…
Author admin