Inheritance

Process type pass_signals

n := n+1

idle

a(value)

start

[a ]

come

Process type pass_more_sig

inherits pass_signals

[fkey ]

come

The resulting process pass_more_sig

is made of the two transitions