时间Peter网相关硕士博士期刊学术论文 - 搜论网

时间Peter网相关论文

一种不确定时段的扩展时段对序逻辑：时间Petri网模型表示和线性推理

针对点－时段时序逻辑的不足，提出了一种新的时段时序逻辑－－扩展时段时序逻辑，对不确定时间段发生的事件具有较好的描述能力。时间Petri......

期刊

点-时段时序逻辑扩展时段时序逻辑时间Peter网线性推理人工智能 point-interval temporal logic extended int

看过本文同时还关注