total-space 0.1.1

Explore the total space of states of communicating finite state machines.
Documentation
@startuml
autonumber " <b>#</b> "
skinparam shadowing false
skinparam sequence {
ArrowColor Black
ActorBorderColor Black
LifeLineBorderColor Black
LifeLineBackgroundColor Black
ParticipantBorderColor Black
}
skinparam ControlBorderColor White
skinparam ControlBackgroundColor White
participant "C" as A0 order 10100
activate A0 #CadetBlue
participant "S" as A1 order 10200
activate A1 #CadetBlue
rnote over A0 : IDL
/ rnote over A1 : LST
autonumber stop
[<[#White]-- A0
autonumber resume
deactivate A0
note over A0 : Need
A0 -[#Crimson]> A1 : PNG
A0 -> A1 : REQ
deactivate A1
autonumber stop
[<[#White]-- A0
autonumber resume
activate A0 #CadetBlue
activate A1 #MediumPurple
rnote over A0 : WAT
/ rnote over A1 : WRK
autonumber stop
[<[#White]-- A0
autonumber resume
deactivate A1
note over A1 : Completed
A1 -> A0 : RSP
deactivate A0
autonumber stop
[<[#White]-- A0
autonumber resume
activate A1 #CadetBlue
activate A0 #CadetBlue
rnote over A1 : LST
/ rnote over A0 : IDL
note over A0 : Worry
control " " as T0 order 10101
A0 -> T0 : PNG
activate T0 #Silver
note over A0 : Worry
A0 -> T0 : &#8658; PNG
autonumber stop
[<[#White]-- A0
autonumber resume
deactivate A0
note over A0 : Need
A0 -[#Crimson]> A1 : &#8658; PNG
deactivate T0
A0 -> A1 : REQ
deactivate A1
autonumber stop
[<[#White]-- A0
autonumber resume
activate A0 #CadetBlue
activate A1 #MediumPurple
rnote over A0 : WAT
/ rnote over A1 : WRK
autonumber stop
[<[#White]-- A0
autonumber resume
deactivate A1
note over A1 : Completed
A1 -> A0 : RSP
deactivate A0
autonumber stop
[<[#White]-- A0
autonumber resume
activate A1 #CadetBlue
activate A0 #CadetBlue
rnote over A1 : LST
/ rnote over A0 : IDL
autonumber stop
[<[#White]-- A0
autonumber resume
deactivate A0
deactivate A1
@enduml