{"title":"彩色Petri网用于平交道口安全分析","authors":"Chen Lijie, Liu Hongjie, Wang Weiqi","doi":"10.1109/ICIRT.2018.8641674","DOIUrl":null,"url":null,"abstract":"The level crossing (LC) is the intersection of roads and railways. In the event of a collision accident, it not only affects the efficiency of railway operations, but also causes casualties. Therefore, safety of LC is identified as critical point for both railway and road transit. To analyze the safety of LC, model based method is proposed in this paper to establish the model of LC, and model checking method is proposed to analyze safety of LC. It is used Colored Petri Net suite as analysis tool, established LC function model, designed algorithm of safety analysis, and showed the feasibility of Colored Petri Net on LC safety analysis.","PeriodicalId":202415,"journal":{"name":"2018 International Conference on Intelligent Rail Transportation (ICIRT)","volume":"229 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2018-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Using Colored Petri net for Level-Crossing safety analysis\",\"authors\":\"Chen Lijie, Liu Hongjie, Wang Weiqi\",\"doi\":\"10.1109/ICIRT.2018.8641674\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The level crossing (LC) is the intersection of roads and railways. In the event of a collision accident, it not only affects the efficiency of railway operations, but also causes casualties. Therefore, safety of LC is identified as critical point for both railway and road transit. To analyze the safety of LC, model based method is proposed in this paper to establish the model of LC, and model checking method is proposed to analyze safety of LC. It is used Colored Petri Net suite as analysis tool, established LC function model, designed algorithm of safety analysis, and showed the feasibility of Colored Petri Net on LC safety analysis.\",\"PeriodicalId\":202415,\"journal\":{\"name\":\"2018 International Conference on Intelligent Rail Transportation (ICIRT)\",\"volume\":\"229 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2018-12-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2018 International Conference on Intelligent Rail Transportation (ICIRT)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ICIRT.2018.8641674\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2018 International Conference on Intelligent Rail Transportation (ICIRT)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICIRT.2018.8641674","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Using Colored Petri net for Level-Crossing safety analysis
The level crossing (LC) is the intersection of roads and railways. In the event of a collision accident, it not only affects the efficiency of railway operations, but also causes casualties. Therefore, safety of LC is identified as critical point for both railway and road transit. To analyze the safety of LC, model based method is proposed in this paper to establish the model of LC, and model checking method is proposed to analyze safety of LC. It is used Colored Petri Net suite as analysis tool, established LC function model, designed algorithm of safety analysis, and showed the feasibility of Colored Petri Net on LC safety analysis.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
