论文部分内容阅读
针对可编程逻辑控制器（Programmable Logic Controller，PLC）控制系统中，传统的程序设计框图难以描述并发事件、协调事件及竞争事件等控制问题，利用Petri网图形化的性质和对并发事件的建模能力，对液化天然气（Liquefied NaturalGas，LNG）钢瓶生产线控制系统进行建模。通过层次化建模和仿真分析，消除了系统设计中潜在的死锁、冲突和冲撞等问题。根据Petri网的变迁触发条件和托肯变化规则，列出逻辑表达式，将表达式中的“与”、“或”关系与PLC梯形图的“串”、“并”相对