rem Valid problem parts (types/keywords): 
rem matrix D, matrix Dm, matrix Dp - The problem incidence or i/o matrices
rem matrix Dc, matrix Dcm, matrix Dcp - The active subnet incidence or i/o matrices.
rem arrayi ExcludeT - Indices of transitions to exclude from active subnet consideration.
rem arrayi IncludeT - Indices of transitions which must be included in the active subnet.

echo Problem 1
echo This problem supplies a 3rd order identity as the Petri net incidence 
echo matrix, which should yield an unmodified net as the active subnet. No
echo other parameters are used.

D 3 3
1 0 0
0 1 0
0 0 1

done

echo Problem 2
echo This problem adds an excluded transition.
echo The correct answer should have Da:
echo -1	1	0	0
echo 1	-1	0	0
echo 0	0	0	0
echo 0	0	0	0	
echo And Dra:
echo -1	1
echo 1	-1

D 4 4
-1	1		0		0
1		-1	0		0
0		0		-1	1
0		0		1		-1

ExcludeT 1
2

done

echo Problem 3
echo This problem adds an included transition.
echo Correct answer should have Dra
echo -1	1
echo 1	-1
echo And Da with Dra in the upper left corner.

D 6 6
-1	1		0		0		0		0
1		-1	0		0		0		0
0		0		-1	1		0		0
0		0		1		-1	0		0
0		0		0		0		-1	1
0		0		0		0		1		-1

IncludeT 1
1

done

echo Problems 4 & 5
echo These problems test update mode. The solutions to the problems should be
echo the same.
echo Problem 4...update mode.
D 5 4
-1	0		0		0	
1		-1	3		-1	
0		1		-1	0	
0		-1	0		1	
1		0		2		-1	

Dc 3 3
0		0		0	
0		-2	3	
0		1		-1	

done
echo Problem 5...normal mode.
D 5 4
-1	0		0		0	
1		-1	3		-1	
0		1		-1	0	
0		-1	0		1	
1		0		2		-1	
done

quit
