State Transitions Mapped into Directed Multigraph
Copyright ©2017, Software Developer, All rights reserved.
See Contents
From: State of Starting
To: State of Closed
State Transitions Mapped into Directed Graph |
S : States {} | Fact 1: States form a Directed Multigraph. | ||||||
state S1 | Example | ||||||
state S2 | Fact 2: Each State is a Node. | ||||||
… | Fact 3: Each Transition is a Directed Member. | ||||||
state Sh | |||||||
|S|= h
|
Copyright ©2017, Software Developer, All rights reserved.
See Contents