Victor Khomenko

1
PCOMP a utility for parallel composition of
STGs

• Victor Khomenko
• Newcastle University

2
Parallel composition
rename
3
Parallel composition
a_1
a-
c
b-
a
b
c-
4
Deleting duplicate places
Can be removed
a_1
a-
c
b-
a
b
c-
Oops!
5
Parallel composition
c
c
a
a-
b-
c-
c-
a
b
6
Deleting duplicate places
a_1
a-
c
b-
a
b
c-
7
Hiding internal communication

• In BALSA each signal can be shared by at most
  two h/s components
• Hence can hide the common interface signals when
  composing the corresponding STGs

8
PCOMP utility

• Usage
• pcomp options file1.g file2.g ...
• Options
• -i Convert the common interface signals into
  internal signals
• -d Convert the common interface signals into
  dummies
• Renames the internal signals, dummies and places
  to avoid name clashes
• The final STG is simplified by removing
  duplicate places
• 2-phase, 4-phase and mixed STGs can be liberally
  composed