data structures and software dependability

• home

• contact

• members

• teaching

• research

• publications

• software

• events

Program: Marcie

The bug occurs when only immediate transitions are enabled in the initial state.

Using attached net and property, I obtain the following:

>marcie --net-file test.andl --csl-file test.csl --simulative >... >Expected probability(m0) = [0.2880588763, 0.3080534348] >... Which is correct.

>marcie --net-file test.andl --csl-file test.csl >... >zsh: segmentation fault marcie --net-file test.andl --csl-file test.csl Which is a problem.

>marcie --net-file test.andl --csl-file test.csl --approximative >... >lost probability: 1 > >Prob(m0) = 0.000000000000000E+00

Which is correct but not helpful .

My version of marcie is "Marcie rev. 1178M (build: crohr on 2014-01-23)" on Mac Os X 10.10.2

File test.andl: gspn [] { constants: places:

	a1 = 2;
	a2 = 1;
	a3 = 0;
	b3 = 1;

transitions:

	stochastic:
	t1_2 :  : [a2 + 2] & [a1 - 2] & [a2 - 1] : 0.003000 ;
	t1_3 :  : [a3 + 2] & [a1 - 2] & [a3 - 1] : 0.000060 ;
	t2_1 :  : [a1 + 2] & [a2 - 2] & [a1 - 1] : 0.009000 ;
	t2_3 :  : [a3 + 2] & [a2 - 2] & [a3 - 1] : 0.009000 ;
	t3_1 :  : [a1 + 2] & [a3 - 2] & [a1 - 1] : 0.000180 ;
	t3_2 :  : [a2 + 2] & [a3 - 2] & [a2 - 1] : 0.009000 ;

	immediate:
	tb3 :  : [a3 + 1] & [b3 - 1] : 0.300000 ;
	tAb3 :  : [b3 - 1] : 0.700000 ;

}

File test.csl: P=? [ true U[0,12000] [a3=2] ]

---

Comments

fixed

---

<< 00001 | BugList | 00003 >>