petri网
关注
分享
扫一扫
文章平均质量分 85
petri学习笔记
悟大师
四非cs专业本科生 南京某985软工硕士
展开
-
CrossFTP
CrossFTP原创 2022-11-09 13:17:13 · 552 阅读 · 0 评论 -
软件动态更新的评价指标
软件动态更新的评价指标原创 2022-11-07 09:17:52 · 718 阅读 · 0 评论 -
形式化定义软件动态更新
形式化定义软件动态更新原创 2022-11-05 15:34:27 · 388 阅读 · 0 评论 -
Finate State Processes（FSP）语法规则
Finate State Processes（FSP）语法规则原创 2022-10-30 14:58:20 · 373 阅读 · 0 评论 -
标号变迁系统（Labelled Transition System）
标号变迁系统原创 2022-10-29 15:07:24 · 1675 阅读 · 0 评论 -
形式化语言——时序逻辑
时序逻辑原创 2022-10-28 11:02:07 · 2528 阅读 · 0 评论 -
Petri网-3.4 C/E 系统 与 3.5 P/T 系统
Petri网-3.4 C/E 系统 与 3.5 P/T 系统原创 2022-10-25 23:15:39 · 996 阅读 · 0 评论 -
Petri网-3、Petri 网定义 与 3.3 EN系统
Petri网-3、Petri 网定义 与 3.3 EN系统原创 2022-10-24 18:21:55 · 2907 阅读 · 3 评论 -
Petri网-2、有向网
有向网原创 2022-08-03 10:25:04 · 805 阅读 · 0 评论 -
petri网-1、概论
petri网-1、概论原创 2022-08-03 08:59:49 · 304 阅读 · 0 评论 -
软件工程的顶会和顶刊
软件工程顶刊顶会原创 2022-10-10 13:12:33 · 13159 阅读 · 0 评论