我正在撰写我的硕士论文，需要在时间逻辑中说明和验证我的方法。 在我的情况下，哪种时间逻辑最好使用？我真的希望能得到关于我的方法和如何继续的反馈。 我的模型由参与者组成，将同时执行。对于每个参与者，可以注册规则。它们看起来像这样： conditions -> action 例如。...