状态转换
在仿真器和状态空间工具间转换状态 指引


相关页面

使用状态空间工具(Use state space tool), 状态空间工具(State space tools)

状态和状态空间节点States and state space nodes

一个CPN的状态是网的一个标识,也即网上各库所令牌的分布。状态空间的每一个节点表示相应CPN的一个状态或标识。可以在仿真器和状态空间工具间传送状态。

状态空间中的节点即状态是由正整数来标记。习惯上,1表示状态空间的初始状态,也即节点1对应相应CPN的初始状态。

从状态空间传送状态到仿真器

要将节点从状态空间转换到仿真器,应用状态空间到仿真器(State space to simulator)工具到网的一页面上。

状态空间到仿真器(State space to simulator)工具在状态空间工具(state space tools)中,其中的数字是指此工具应用时,从状态空间工具转换到仿真器的状态空间节点号。

一个状态泡(status bubble)会显现来表明状态是否传送成功。

要改变要转换的节点号,改变状态空间到仿真器(State space to simulator)工具的选项。

从仿真器传送状态到状态空间

要将一状态从仿真器转换到状态空间工具,对包含同一页面的表单应用仿真器到状态空间(Simulator to state space)工具。会有一个状态泡显现来表明状态是否成功转换。