摘要：Petri网在离散事件的动态仿真中有着广泛的应用,而如何将Petri网应用到离散制造系统中具有重大的价值。以离散制造业中最常见的搬运机械手模型为基础,提出了它的Petri网模型设计方法 ,并且利用科学的转换方法将Petri网转化为梯形图,应用到在制造业中广泛使用的PLC系统中。利用这种设计方法,不仅能够轻松地将Petri网应用到实践当中,还能够对模型的死锁、生产周期和不变量进行定量的分析,给制造系统进行管理控制、故障诊断和现场监控带来方便。

摘要：针对斜拉桥施工安全,提出一种基于BIM(Building Information Modeling)和PtD(Prevention through Design)的施工风险控制方法。在Access平台下建立斜拉桥施工安全风险知识库(PtD知识库),确定相关风险因素、预控措施及其对应ID编码。基于BIM模型,对Revit进行二次开发,创建具有Ribbon菜单和WPF界面的“斜拉桥施工安全风险检查工具(BCSRI)”模块,实现了设计阶段斜拉桥施工安全风险因素及其ID的自动检查。以斜拉桥索塔施工安全风险检查为例,验证该方法的可行性。