- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
它们两者都代表系统可以采用的不同状态。那么,Petri网和有限状态机有什么区别?什么时候使用Petri Nets,什么时候使用有限状态机?
最佳答案
标准有限状态机仅包含一个当前状态。而在Petri网中,多个位置(或多或少与有限状态机中的状态可比)可以包含一个或多个 token 。有限状态机是单线程的,而Petri网是并发的。
在有限状态机中,事件状态响应事件而改变。在Petri网络中,一旦所有输入位置都包含至少一个 token ,就会执行网络转换。
有限状态机可以被视为Petri网的特例。
通常,如果您的过程或您要表示的部分是单线程的,我建议您使用有限状态机:其他软件工程师可能更熟悉有限状态机;否则,您可能会更喜欢使用有限状态机。还有更多工具可以将有限状态机转换为实现。
仅在需要并发或具有更高表达能力时才使用Petri网。或者,当您在建模工厂的工厂时,一半的零件被转化为产品,或者您的听众更熟悉此图像。
也许Petri网也可以用于建模,可视化正在运行的大型并发系统,例如微服务架构,天蓝色的服务架构可靠服务和可靠的参与者,在kubernetus上运行的服务,天蓝色的功能以及AWS Lambda。
另外,与有限状态机相比,有更多的关于Petri网的理论研究和使用(请注意,正如我之前所说的,有限状态机可归结为Petri网)。
关于controls - Petri网和有限状态机有什么区别?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/53980748/
假设我知道给定地点转换网络的标记。 如何确定哪个标记是位置不变的?我也知道最初的标记。我会很欣赏一个非常容易理解的解释。 我已阅读 this paper 的第 17 页,其中描述了查找位置不变量的公式
假设我知道给定地点转换网络的标记。 如何确定哪个标记是位置不变的?我也知道最初的标记。我会很欣赏一个非常容易理解的解释。 我已阅读 this paper 的第 17 页,其中描述了查找位置不变量的公式
是否有一种算法可以检查彩色 petri 网的边界条件(即状态空间是有限的)(或者该属性是否不可判定)? 最佳答案 是的,如果状态空间是无限的,状态图的构建算法就会中止。基本上,它所做的是检查它到达的每
有理论上的 Petri 网: http://en.wikipedia.org/wiki/Petri_net 还有表示为 BPMN 2.0 的工作流程。 具体有什么区别?我问的原因是,我们希望对 BPM
我被要求构建一个 Petri 网引擎,作为工作中内部工作流程的基础。 到目前为止,我已经能够生成所有逻辑和行为(我已经创建了“服务台”类型的工作流程来测试规则和条件)并且一切正常。 不过,事实证明,可
我是一名优秀的程序员,十分优秀!