Index of /~daria/WWK12-13/Lab/Lab1

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