Obtain_

AspectC++运行脚本

自行整理了一个运行AspectC++转换源码运行的shell脚本代码,只需修改aspectC++工具路径和第三方头文件路径;然后把该脚本放在工程源文件目录中运行即可。

AspectC++ 转换源码运行脚本

自行整理了一个运行AspectC++转换源码运行的shell脚本代码，只需修改aspectC++工具路径和第三方头文件路径；然后把该脚本放在工程源文件目录中运行即可。

antlr_4.7_complete.jar

antlr-4.7-complete.jar运行环境库(java版)

antlr4_runtime_4.7_javadoc.jar

ANTLR4.7运行环境库的doc，对应于antlr-4.7-complete.jar

EN50159_Part2

railwayapplications-communication,signalingandprocessingsystems-part2：Safetyrelatedcommunicationinopentransmissionsystems.

CPNTools软件

CPN Tools 是集 编辑、设计与仿真以及分析 于一身的有色Petri Net（CPN）工具，即Colored Petri nets。 此4.0.1是当前最新版，有着很好的GUI，易于使用。 CPN Tools不仅支持基础着色Petri网建立模型，也支持带有时间和分层的着色petri网建立模型。

EN50159_2010版

Railway applications — Communication, signalling and processing systems — Safety-related communication in transmission systems.

EN50159_Part1

EN50159 Railway applications-communication, signaling and processing systems-Part1: Safety–related communication in closed transmission systems 欧洲开发网络