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

FROM 1MSG:
- C(0):WAT
& C(1):IDL
& SRV:LST
| C(0) -> REQ(C=0) -> SRV
# 6BAF2A724F3B0650

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

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

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

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

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

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

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