PetriNet 的状态_例子
首页 流程图 详情

PetriNet 的状态_例子

2021-11-12 10:23:50 0 举报
PetriNet是一种形式化方法，具体知识百度。此例展示一个简单PetriNet的图示，通过PetriNet图表示出其所有可能的状态
软件工程
形式化方法
PetriNet
模版推荐
作者其他创作
大纲/内容
评论
0 条评论
下一页