Index of /~daria/WWK13-14/Lab/Lab1

	Name	Last modified	Size	Description
	Parent Directory		-
	elevator.pml	2014-02-20 17:17	593
	increment-par.pml	2014-02-20 17:17	316
	peterson.pml	2014-02-20 17:17	339
	petersonN.pml	2014-02-20 17:17	693
	producerConsumer.pml	2014-02-20 17:17	417
	step1-init.pml	2014-02-20 17:17	69
	step2-proctype.pml	2014-02-20 17:17	140
	step3-params.pml	2014-02-20 17:17	136
	step4-guards.pml	2014-02-20 17:17	204
	step5-if.pml	2014-02-20 17:17	271
	step6-do.pml	2014-02-20 17:17	271
	step7-chan.pml	2014-02-20 17:17	262
	step8-chan2.pml	2014-02-20 17:17	303