@inproceedings { , title = {Reliability analysis of a safety system using petri net and comparison with smart component methodology}, isbn = {978-0-89448-764-4}, pages = {745-753}, publicationstatus = {Published}, url = {https://nottingham-repository.worktribe.com/output/2774569}, year = {2024}, author = {Shukla, Darpan K and Arul, A John and Wootton, Mark James and Andrews, John} }