使用Tab键在属性之间进行切换。
与一个库所相关联的属性有三个,其中两个为可选,一个为必需:
• 颜色集 - 必需
• 初始标记 - 可选
• 库所名称 - 可选
在初始标记上,CPN Tools 自动创建当前标记,当前标记用绿色表示,并显示令牌总数和标记的详细信息。
使用Tab键在属性之间进行切换。
与一个库所相关联的属性有三个,其中两个为可选,一个为必需:
• 颜色集 - 必需
• 初始标记 - 可选
• 库所名称 - 可选
在初始标记上,CPN Tools 自动创建当前标记,当前标记用绿色表示,并显示令牌总数和标记的详细信息。