Consider the following labeled transition systems:

P $=($a $->$ b $->$ P$).$

Q $=($c $->$ b $->$ d $->$ Q$).$

$||$S$1=($P$||$Q$).$

Using this specification,

$1.$ Construct the labeled transition systems for P and Q $($see pages $50$ff and $66$f of the

lecture nodes$),$

$2.$ Compose the corresponding labeled transitions systems $($see page $65$ of the lecture

notes$).$

You may draw the state transition graph to visualize the composition.