Revision as of 08:24, 20 September 2017 by Yumiko Takahashi(talk | contribs)(Created page with "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 sta...")
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