Here you can ask questions and find or give answers to organizational, academic and other questions about studying computer science.

1.1k questions

1.2k answers

1.6k comments

529 users

0 votes

Hello

I am trying to find the product of two Kripke structures using the Tool

vars b,c,d;

init 0;

labels 0:; 1:d;

transitions 0->0; 0->1; 1->0

vars b,c,d;
init 0;
labels 0:b,c; 1:b,c,d; 2:b,c,d;
transitions 0->1; 0->0; 1->0; 1->2; 2->0
But I am not getting any response, I am getting no answer using the tool https://es.cs.uni-kl.de/tools/teaching/BisimulationQuotients.html, only a blank space.
Could anyone please help.
Thanks
in * TF "Emb. Sys. and Rob." by (120 points)

1 Answer

0 votes
Well, that is so, since the product structure of the structures you have given to the tool does not have any state. Note that none of the pairs of states has a consistent labels.

Looking at your exercise, I see, however, that the first structure is actually only defined on variable d and not on b,c,d as the second structure. If you change that, the tool will give probably what you expect.
by (166k points)
Thanks a Lot. Now I am getting the answer in the tool.

Related questions

0 votes
1 answer
asked Aug 15, 2020 in * TF "Emb. Sys. and Rob." by SKH (350 points)
0 votes
1 answer
+1 vote
1 answer
0 votes
1 answer
Imprint | Privacy Policy
...