节点文献
Petri网监控的时态逻辑框架
【机构】 东北大学自控系；
【摘要】 本文介绍了一种高级说明(specification)语言——时态逻辑,定义了Petri网的时态逻辑框架,并结合以往的Petri网监控机制给出了一Petri网可控的充要条件。最后针对禁止状态避免问题证明了禁止状态可避免的充要条件。
【关键词】 Petri网的状态轨迹；
可控；
时态逻辑；
状态反馈；
禁止状态避免；
- 【会议录名称】 1994中国控制与决策学术年会论文集
- 【会议名称】1994中国控制与决策学术年会
- 【会议时间】1994-05
- 【会议地点】中国福建厦门
- 【分类号】TP301.1
- 【主办单位】中国航空学会自动控制专业委员会、中国自动化学会应用专业委员会、中国运筹学会决策理论及应用专业委员会、《控制与决策》编辑委员会、厦门大学