Index of /~daria/WWK11-12/Lab/Lab1

	Name	Last modified	Size	Description
	Parent Directory		-
	elevator.pml	2012-02-11 23:27	593
	increment-par.pml	2012-02-11 23:27	327
	peterson.pml	2012-02-11 23:27	339
	petersonN.pml	2012-02-11 23:27	692
	producerConsumer.pml	2012-02-11 23:27	435
	step1-init.pml	2012-02-11 23:27	69
	step2-proctype.pml	2012-02-11 23:27	139
	step3-params.pml	2012-02-11 23:27	136
	step4-guards.pml	2012-02-11 23:27	204
	step5-if.pml	2012-02-11 23:27	271
	step6-do.pml	2012-02-11 23:27	271
	step7-chan.pml	2012-02-11 23:27	262
	step8-chan2.pml	2012-02-11 23:27	303