total-space 0.1.1

Explore the total space of states of communicating finite state machines.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72

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