An integrated hazard identification method based on the hierarchical Colored Petri Net

Ale, 2006, Towards a causal model for air transport safety—an ongoing research project, Saf. Sci., 44, 657, 10.1016/j.ssci.2006.02.002 ASKCI CENELEC 50126, 1999. Railway Applications: The Specification and Demonstration of Reliability, Availability, Maintainability and Safety (RAMS). Dong, A., 2012, Application of CAST and STPA to Railroad Safety in China. mit.edu. Dong, 2010, Automatic train control system development and simulation for high-speed railways, IEEE Circ. Syst. Mag., 10, 6, 10.1109/MCAS.2010.936782 Earthy, 1992, Hazard and operability study as an approach to software safety assessment, 1 Ericson, 2005 ESROG (ERTMS Safety Requirements and Objectives Group), 2000. ERTMS Scope, Boundary and Hazards, ESROG-SBH-01, Issue 1 Draft 3. Fleming, 2013, Safety assurance in NextGen and complex transportation systems, Saf. Sci., 55, 173, 10.1016/j.ssci.2012.12.005 Heinrich, 1931 Hwang, 2010, Hazard analysis of train control system using HAZOP-KR methods, 1971 Jensen, 2007, Coloured Petri Nets and CPN tools for modelling and validation of concurrent systems, Int. J. Softw. Tools Technol. Transfer, 9, 213, 10.1007/s10009-007-0038-x Kazaras, 2012, Introducing the STAMP method in road tunnel safety assessment, Saf. Sci., 50, 1806, 10.1016/j.ssci.2012.04.013 Leveson, 2004, A new accident model for engineering safer systems, Saf. Sci., 42, 237, 10.1016/S0925-7535(03)00047-X Leveson, 2011 MOR (Ministry of Railways of the People’s Republic of China), 2008 MOR (Ministry of Railways of the People’s Republic of China), 2008 McDermid, 1994, A development of hazard analysis to aid software design, 17 Norros, 1996, System disturbances as springboard for development of operators’ expertise, Cogn. Commun. Work, 159, 10.1017/CBO9781139174077.007 Ouyang, 2010, STAMP-based analysis on the railway accident and accident spreading: taking the China-Jiaoji railway accident for example, Saf. Sci., 48, 544, 10.1016/j.ssci.2010.01.002 Pasquale, 2003, Hazard analysis of complex distributed railway systems, 283 Reason, 1990 Vernez, 2003, Perspectives in the use of coloured Petri nets for risk analysis and accident modeling, Saf. Sci., 41, 445, 10.1016/S0925-7535(01)00078-9 Jin SAWS Zhang, Q., 2012, High-speed rail construction not suspended. People’s Daily Online. <http://english.peopledaily.com.cn/90778/7754100.html>.