1.计算机领域中的一中模拟思想，一种设计思想，将世界与信息连接的理论，主要在把连续的物理世界转换成离散的信息世界。
2.是一种计算机底层逻辑电路的设计方法，有数学模型理论支撑。
3.分为有限状态机，无限状态机
4. a.输入 + 状态转换函数 + 内部状态寄存器 = 输出 算是一种模拟人工推理的一种算法结构
b.Moore模型 2 Mealy模型 3
5.计算机硬件电路设计与软件编程模型的设计可以借鉴它的思想
6.Petri网理论：库所 变迁（事件--转化或者传输） 输入函数 输出函数 应用与工作流(JBPM)
状态-state
事件-event
转换-transation
动作-action
了解了上述的一些基本的计算机理论知识，感觉对于JBPM3的工作流框架有了进一步的认识。
图灵机：最强力的电脑器。它们拥有磁带形式的无限内存，和可以读取和变更磁带的磁头，它可在磁带上向任何方向移动。图灵机等价于演算法，是现代电脑的理论基础。图灵机 判定递归语言并识别递归可枚举语言。
有限状态机:一种模拟万物世界的思想 把连续变成离散 符合计算机设计思想
回调函数、事件监听、发布/订阅
代码设计的一种思想
工作流引擎作为工作流管理系统的核心部分，主要提供了对于工作流定义的解析以及流程流转的支持。工作流定义文件描述了业务的交互逻辑，
工作流引擎通过解析此工作流定义文件按照业务的交互逻辑进行业务的流转，工作流引擎通常通过参考某种模型来进行设计，通过调度算法来进
行流程的流转(流程的启动、终止、挂起、恢复等)，通过各种环节调度算法(SPLIT、AND、OR等)来实现对于环节的流转(环节的合并、分叉、选择、
条件性的选择等)。
Jbpm结合应用了状态图+活动图+PetriNet的知识，而且这里的活动图还是UML2.0版的
基于有限状态机(FSM)的原理:一种模拟思想将连续的状态转换成离散的状态，符合计算机设计思想。Jbpm来内部实现中还采用了PetriNet的概念，如token,signal等，jBpm对Token的应用很有特色，巧妙地利用Parent-Child Token的机制处理分支、父子流程等复杂应用场
FSM有限状态机、PetriNet、EPC、Activity Diagram
通常流程引擎采用的核心调度算法主要有FSM以及PetriNet两种，基于调度算法来完成流程的流转--- 库所(状态集以及装换函数) 变迁（事件） 输入（符号） 输出 。
实现原理
FSM(有限状态机)
FSM的定义为包含一组状态集（states）、一个起始状态（start state）、一组输入符号集（alphabet）、一个映射输入符号和当前状态到下一状态的转换函数（transition function）的计算模型。当输入符号串，模型随即进入起始状态。它要改变到新的状态，依赖于转换函数。在有限状态机中，会有有许多变量，例如，状态机有很多与动作（actions）转换(Mealy机)或状态（摩尔机）关联的动作，多重起始状态，基于没有输入符号的转换，或者指定符号和状态（非定有限状态机）的多个转换，指派给接收状态（识别者）的一个或多个状态，等等。
遵循FSM流程引擎通过状态的切换来完成流程的流转。
PetriNet
信息流的一个抽象的、形式的模型。指出一系统的静态和动态性质。petrinet通常表示成图。图中有两类用弧彼此相连的结点（称为地点和变换）和指示其动态性能的标记（称为记号）。
遵循PetriNet流程引擎通过令牌来决定流程的流转
状态机编程
计算机的一些设计理论，学习了解一下感觉对我们学习一些开源的框架，了解设计思想 有更深刻的认识 毕竟这些东西的原始构想都是一种模拟
