软件工程----有穷状态机和Petri网

最新推荐文章于 2024-05-01 11:47:53 发布

张李浩

最新推荐文章于 2024-05-01 11:47:53 发布

阅读量2.6k

点赞数 5

分类专栏：软件工程导论文章标签：软件

版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。

本文链接：https://blog.youkuaiyun.com/qq_52934831/article/details/124289187

版权

软件工程导论专栏收录该内容

1 篇文章

订阅专栏

本文深入探讨了有穷状态机在描述对象状态序列和响应事件方面的作用，以及其作为有向图的结构。同时，介绍了Petri网的组成，特别是其非确定性和并发特性，并通过具体例子展示了Petri网的应用。内容涵盖了这两个概念在系统设计和建模中的重要地位。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

有穷状态机

概念

有穷状态机的作用是描述对象在它的生命周期内所经历状态序列，以及如何响应来自外界的事件。有穷状态机首先包含一个有限状态的集合，还包含了从一个状态到另外一个状态的转换。

有穷自动机看上去就像是一个有向图，其中状态是图的节点，而状态转换则是图的边。此外这些状态中还必须有一个初始状态和至少一个接受状态。

例如，每个菜单驱动的用户界面都是一个有穷状态机的实现。一个菜单的显示和一个状态相对应，键盘输入或用鼠标选择一个图标是使系统进入其他状态的一个事件。状态的每个转换都具有下面的形式：
当前状态〔菜单〕+事件〔所选择的项〕=>下个状态。

例题

在这里插入图片描述

Petri网

概念

在这里插入图片描述

Petri网的组成

在这里插入图片描述

在这里插入图片描述

Petri网的非确定性（并发）

在这里插入图片描述

含禁止线的Petri网

在这里插入图片描述

例子

在这里插入图片描述

存在死循环

在这里插入图片描述

评论

被折叠的条评论为什么被折叠?

到【灌水乐园】发言

查看更多评论

添加红包

成就一亿技术人!

hope_wisdom

发出的红包

实付元

使用余额支付

点击重新获取

扫码支付

钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。