total-space 0.1.1

Explore the total space of states of communicating finite state machines.
Documentation
FROM INIT:
- C(0):IDL
& C(1):IDL
& SRV:LST
# 1287BA01AD68118D

BY: Activity -> Need -> C(0)
TO:
- C(0):WAT
& C(1):IDL
& SRV:LST
| C(0) -> REQ(C=0) -> SRV
# CD52EDFB8D90269B

BY: Activity -> Need -> C(1)
TO 2MSG:
- C(0):WAT
& C(1):WAT
& SRV:LST
| C(0) -> REQ(C=0) -> SRV
& C(1) -> REQ(C=1) -> SRV
# 3C7C7BC4CF5C445D

BY: C(0) -> REQ(C=0) -> SRV
TO:
- C(0):WAT
& C(1):WAT
& SRV:WRK(C=0)
| C(1) -> REQ(C=1) -> SRV
# 5A44D39DCACB0380

BY: Activity -> Completed -> SRV
TO:
- C(0):WAT
& C(1):WAT
& SRV:LST
| C(1) -> REQ(C=1) -> SRV
& SRV -> RSP -> C(0)
# FBB002BF3B235B32

BY: C(1) -> REQ(C=1) -> SRV
TO:
- C(0):WAT
& C(1):WAT
& SRV:WRK(C=1)
| SRV -> RSP -> C(0)
# B638FAA2F3BD2BCC

BY: Activity -> Completed -> SRV
TO:
- C(0):WAT
& C(1):WAT
& SRV:LST
| SRV -> RSP -> C(0)
& SRV -> RSP -> C(1)
# 1FD4497F3D82EB07

BY: SRV -> RSP -> C(0)
TO:
- C(0):IDL
& C(1):WAT
& SRV:LST
| SRV -> RSP -> C(1)
# 07CD67FEE905C37E

BY: SRV -> RSP -> C(1)
TO INIT:
- C(0):IDL
& C(1):IDL
& SRV:LST
# 1287BA01AD68118D