实时并发系统的PTSL模型检测.pdfVIP

第 １２卷第５期　 　 　 　 　 　 　 　 　 　 　 　 智　 能　 系　 统　 学　 报　 　 　 　 　 　 　 　 　 　 　 　 　 　 　 Ｖｏｌ．１２ №．５ ２０１７年１０月　 　 　 　 　 　 　 　 　 　 　 ＣＡＡＩ Ｔｒａｎｓａｃｔｉｏｎｓ ｏｎ Ｉｎｔｅｌｌｉｇｅｎｔ Ｓｙｓｔｅｍｓ　 　 　 　 　 　 　 　 　 　 　 　 　 Ｏｃｔ． ２０１７ ＤＯＩ：１０．１１９９２／ ｔｉｓ．２０１７０６００８ 网络出版地址：ｈｔｔｐ：／ ／ ｋｎｓ．ｃｎｋｉ．ｎｅｔ／ ｋｃｍｓ／ ｄｅｔａｉｌ／ ２３．１５３８．ＴＰ１９０１．０１２．ｈｔｍｌ 实时并发系统的ＰＴＳＬ模型检测 １ １，２ １ １ 王晓燕 ，韩啸 ，彭君 ，刘淑芬 （１．吉林大学计算机科学与技术学院，吉林 长春 １３００１２；２． 吉林大学 学报编辑部，吉林 长春 １３００１２） 摘　 要：随着实时并发系统的软件规模越来越大、复杂性日趋增加，如何保证并发实时系统正确性和可靠性成为日