Statistics View

Revision as of 09:05, 27 September 2017 by Yumiko Takahashi (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

The Statistics View provides some state and transition data: The main view shows the quantity of processed states and total transitions, the extended view shows additional state and transition statistics