Strong Bisimilarity: Find Out Q1-P3 & P3->Q1

[XodoX]

Homework Statement

https://www.dropbox.com/s/p09aulbcf02pfhk/Bisimilarity.jpg

Find out if q1-p3 and p3->q1 are "strongly bi-similar"

Homework Equations

The Attempt at a Solution

No idea.

I have to consider the transition of p and then show it's properly matched by some transition of q ?
I still can't find out how to do the transition here.
And how can I have 2 figures and get the bi-simulation for the paths ?

 

[NascentOxygen]

This might attract more response if it were moved to a mathematics forum? If you think so, ask one of the mentors to move it for you.

Good luck with your studies.