摘要
摘要
[AbM86] Abadi，A.和Mannia，Z.：及时解决， 程序。 交响乐团。 论逻辑计算机科学 第176-186页，1986年。 谷歌学者 
[和86] 安德鲁斯，P.B.： 数学逻辑和类型理论导论：通过证明走向真理 ，学术出版社，1986年。 谷歌学者 [AEI83] Anttila，M.、Eriksson，H.和Ikonen，J.：形式技术的工具和研究——试验网和时间逻辑。 在： 协议规范、测试和验证，III ，H.Rudin和C.H.West（编辑），第139-148页，爱思唯尔科学出版社，IFIP，1983年。 谷歌学者 [Bar84] Barringer，H.：并行和分布式系统的形式化规范技术——简要回顾， 程序。 第三届Ada欧洲/AdaTEC联合会议 J.Teller（编辑），布鲁塞尔，第281-294页，1984年。 谷歌学者 [BRR87] Brauer，W.、Resig，W.和Rozenberg，G.（编辑）： Petri网：I-中心模型及其性质和II-应用以及与其他并发模型的关系 ，LNCS 254和255，Springer-Verlag，1987年。 谷歌学者 【DiG83】 Diaz，M.和Guidacci Da Silverira，G.：关于时序逻辑和网络对协议的规范和验证 信息处理83，Proc。 IFIP83大会 巴黎，第47-52页，1983年9月。 谷歌学者 [适合72] 模态逻辑的表证明方法 圣母院形式逻辑期刊 1972 十三 237 247 谷歌学者 交叉引用 
[第87代] Genrich，H.J.：谓词转换网络，收录于LNCS 254，第207-247页，Springer-Verlag出版社，1987年。 谷歌学者 【GeL81】 用高级Petri网进行系统建模 理论计算机科学 1981 13 109 136 谷歌学者 交叉引用 【GLT80】 Genrich，H.J.、Lautenbach，K.和Thiagarajan，P.S.： 网络理论要素 ，LNCS 84，第21–164页，施普林格-弗拉格出版社，1980年。 谷歌学者 【河89】 He，X.：《在软件开发中集成形式规范和验证方法》，弗吉尼亚理工大学计算机科学系博士论文，1989年。 谷歌学者 [高度89] He，X.和Lee，J.A.N.：从谓词转换Petri网规范导出时间逻辑规范， 程序。 软件工程与知识工程国际会议 1989年6月15日至17日，芝加哥，第116-121页。 谷歌学者 【88小时】 Howell，R.R.，Rosier，L.E.和Yen，H.C.：Petri网的公平性和时间逻辑问题的分类。 在LNCS 324中，第351-359页，Springer-Verlag，1988年。 谷歌学者 【HJJ85】 Huber，P.，Jensen，A.M.，Jepsen，L.O.和Jensen（K.）：面向高级Petri网的可达树。 在：LNCS 188，第215–233页，施普林格出版社，1985年。 谷歌学者 [Lam83] 指定并发程序模块 ACM托普拉斯 1983 5 190 222 谷歌学者 数字图书馆 
[灯89] 指定并发系统的简单方法 CACM公司 1989 32 32 45 谷歌学者 数字图书馆 [劳87] Lautenbach，K.：位置转移网的线性代数技术。 收录于：LNCS 254，第142-167页，Springer-Verlag，1987年。 谷歌学者 【81年5月】 Manna，Z.和Pnueli，A.：并发程序的验证：时态框架。In: 计算机科学中的正确性问题 R.S.Boyer和J.S.Moore（编辑），第215-274页，学术出版社，1981年。 谷歌学者 [宠物62] Petri，C.A.：异步信息流理论基础。 在： 信息处理1962 第386–390页，北荷兰，1962年。 谷歌学者 【Pnu77】 Pnueli，A.：程序的时间逻辑， 第19届年度交响乐团。 计算机科学基础 第46-57页，1977年11月。 谷歌学者 【Pnu86】 Pnueli，A.：时间逻辑在无功系统规范和验证中的应用：当前趋势综述。 收录于：LNCS 224，第510-584页，Springer-Verlag，1986年。 谷歌学者 【QuS82】 Queille，J.P.和Sifakis，J.：CESAR中并发系统的规范和验证。 收录于：LNCS 137，第337-351页，施普林格-弗拉格出版社，1982年。 谷歌学者 [雷85a] Resig，W.公司： Petri网-简介 斯普林格·弗拉格，1985年。 谷歌学者 [Rei85b] Resig，W.：关于Petri网的语义。 在： 程序设计中的形式化模型 E.J.Neuhold和G.Chroust（编辑），第347–372页，IFIP，北荷兰，1985年。 谷歌学者 [ReU71] Rescher，N.和Urquhart，A.： 时间逻辑 施普林格-弗拉格出版社，1971年。 谷歌学者 [Wal87] Wallen，L.A.：模态逻辑的矩阵证明方法， 程序。 第10届IJCAI 第917–923页，1987年。 谷歌学者
建议
用于医学推理的可判定一阶逻辑 KES’11：第十五届基于知识和智能的信息与工程系统国际会议记录——第二卷 本文旨在构建一个可判定的一阶逻辑，用于恰当地表达医学推理，该逻辑可能不仅需要表达时间依赖性、次一致性、构造性、资源敏感性，还需要表达顺序敏感性。。。
