您当前的位置: 首页 > 

rolt

暂无认证

  • 2浏览

    0关注

    780博文

    0收益

  • 0浏览

    0点赞

    0打赏

    0留言

私信
关注
热门博文

状态机的简化-建模竞赛题第2赛季第23轮解答

rolt 发布时间:2020-12-23 10:13:43 ,浏览量:2

题目:

请改进以下图形(原题有错,离开S3的迁移出现两个无警戒条件的e4,现把其中一个改为e5)。

简化要点一:

如果发现进入某个状态的迁移都包含某个动作,可以考虑把该动作作为该状态的入口动作。

同理,

如果发现离开某个状态的迁移都包含某个动作,可以考虑把该动作作为该状态的出口动作。

如下:

观察题目中的图可发现:

进入状态S3的迁移都包含act1,act2;离开状态S3的迁移都包含act5。

可得:

简化要点二:

如果发现进入某状态有多个相同的迁移,可以考虑将多个源状态放入一个组合状态,然后将迁移的起点改为组合状态。

观察题目中的图可发现:

S2、S7进入S3的迁移一样。

可得:

weixinpanjiayu2.jpg

关注
打赏
1665360646
查看更多评论
立即登录/注册

微信扫码登录

0.1070s