It happens to Computer Science field too. I was too into the mathematical side to prove it for like 1 month+. Until my sv told me 1 day, it's ur research, it's ur field, u can come out with theories and rules, don't restrain urself to just proving it mathematically. Try it practically 1st, draw out the Petri Net and try to convert to Sequence Diagram. THat's when I realize, no matter how i prove it mathematically, if someone gives me a Petri Net, I still nid to be able to convert it to Sequence Diagram by hand drawing.

He really help a lot. Maybe u can try talking to ur sv.

Gud luck brah.