保存一个状态空间报告
如何使用How-to

相关页面

使用状态空间工具Use state space tool，改变状态空间工具的属性和选项Change attributes and options in state space tool

保存标准的状态空间报告

在你计算了一个状态空间calculated a state space以后，任选SCC图表，便可以保存一个标准的状态空间统计报告。为了保存报告，将 保存状态空间报告Save state space report工具应用到一个包含网络页面的表单上。

将出现一个保存对话框。详细指定位置和你想创建的报告文件的名称。

报告的内容通过保存状态空间报告Save state space report工具的选项来确定。

报告中库所和变迁的文本格式通过设置字符串表达选项来进行更改。为了设置这些选项，你必须在状态空间工具中改变属性和选项change attributes and options in state space tool 。

示例

就餐中的哲学家Dining Philosophers 的CPN网实例的整个状态空间报告如下： 

 Statistics
------------------------------------------------------------------------
  Occurrence Graph  
    Nodes:  11
    Arcs:   30
    Secs:   0
    Status: Full

  Scc Graph 
    Nodes:  1
    Arcs:   0
    Secs:   0


 Boundedness Properties
------------------------------------------------------------------------
  Best Integers Bounds    Upper      Lower
  Page'Eat 1              2          0
  Page'Think 1            5          3
  Page'Unused 1           5          1

  Best Upper Multi-set Bounds
  Page'Eat 1          1`ph(1)++1`ph(2)++1`ph(3)++1`ph(4)++1`ph(5)
  Page'Think 1        1`ph(1)++1`ph(2)++1`ph(3)++1`ph(4)++1`ph(5)
  Page'Unused 1       1`cs(1)++1`cs(2)++1`cs(3)++1`cs(4)++1`cs(5)

  Best Lower Multi-set Bounds
  Page'Eat 1          empty
  Page'Think 1        empty
  Page'Unused 1       empty


 Home Properties
------------------------------------------------------------------------
  Home Markings:  All


 Liveness Properties
------------------------------------------------------------------------
  Dead Markings:  None
  Dead Transitions Instances: None

  Live Transitions Instances: All

 Fairness Properties
------------------------------------------------------------------------
  Page'Put 1             Impartial
  Page'Take 1            Impartial