|
状态转换
|
帮助文档
|
|
在仿真器和状态空间工具间转换状态
|
指引
|
相关页面
使用状态空间工具(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)工具。会有一个状态泡显现来表明状态是否成功转换。