digraph Model {
	"GPSS2DEVS_2_Controller" [label="Controller(GPSS2DEVS_2_Controller)"];
	"GPSS2DEVS_3_LogicSwitches" [label="LogicSwitches(GPSS2DEVS_3_LogicSwitches)"];
	"GPSS2DEVS_3_LNKS" [label="Storage(GPSS2DEVS_3_LNKS)"];
	"GPSS2DEVS_3_WAIT" [label="Chain(GPSS2DEVS_3_WAIT)"];
	"GPSS2DEVS_0_L0" [label="RandomDelayGenerator(GPSS2DEVS_0_L0)"];
	"GPSS2DEVS_4_L0" [label="Hold(GPSS2DEVS_4_L0)"];
	"GPSS2DEVS_5_L1" [label="TEST(GPSS2DEVS_5_L1)"];
	"GPSS2DEVS_4_L1_Y" [label="Hold(GPSS2DEVS_4_L1_Y)"];
	"GPSS2DEVS_4_L1_N" [label="Hold(GPSS2DEVS_4_L1_N)"];
	"GPSS2DEVS_5_ASN1" [label="ASSIGN(GPSS2DEVS_5_ASN1)"];
	"GPSS2DEVS_4_ASN1" [label="Hold(GPSS2DEVS_4_ASN1)"];
	"GPSS2DEVS_5_L3" [label="GATE(GPSS2DEVS_5_L3)"];
	"GPSS2DEVS_4_L3" [label="Hold(GPSS2DEVS_4_L3)"];
	"GPSS2DEVS_4_L3_B" [label="Hold(GPSS2DEVS_4_L3_B)"];
	"GPSS2DEVS_5_ASN2" [label="ASSIGN(GPSS2DEVS_5_ASN2)"];
	"GPSS2DEVS_4_ASN2" [label="Hold(GPSS2DEVS_4_ASN2)"];
	"GPSS2DEVS_5_L5" [label="TEST(GPSS2DEVS_5_L5)"];
	"GPSS2DEVS_4_L5_Y" [label="Hold(GPSS2DEVS_4_L5_Y)"];
	"GPSS2DEVS_4_L5_N" [label="Hold(GPSS2DEVS_4_L5_N)"];
	"GPSS2DEVS_5_L6" [label="LOGIC(GPSS2DEVS_5_L6)"];
	"GPSS2DEVS_4_L6" [label="Hold(GPSS2DEVS_4_L6)"];
	"GPSS2DEVS_5_GETL" [label="ENTER(GPSS2DEVS_5_GETL)"];
	"GPSS2DEVS_4_GETL" [label="Hold(GPSS2DEVS_4_GETL)"];
	"GPSS2DEVS_5_L8" [label="GATE(GPSS2DEVS_5_L8)"];
	"GPSS2DEVS_4_L8" [label="Hold(GPSS2DEVS_4_L8)"];
	"GPSS2DEVS_4_L8_B" [label="Hold(GPSS2DEVS_4_L8_B)"];
	"GPSS2DEVS_5_L9" [label="LOGIC(GPSS2DEVS_5_L9)"];
	"GPSS2DEVS_4_L9" [label="Hold(GPSS2DEVS_4_L9)"];
	"GPSS2DEVS_1_L10" [label="ADVANCE(GPSS2DEVS_1_L10)"];
	"GPSS2DEVS_4_L10" [label="Hold(GPSS2DEVS_4_L10)"];
	"GPSS2DEVS_5_L11" [label="LOGIC(GPSS2DEVS_5_L11)"];
	"GPSS2DEVS_4_L11" [label="Hold(GPSS2DEVS_4_L11)"];
	"GPSS2DEVS_5_L12" [label="LOGIC(GPSS2DEVS_5_L12)"];
	"GPSS2DEVS_4_L12" [label="Hold(GPSS2DEVS_4_L12)"];
	"GPSS2DEVS_5_L13" [label="LEAVE(GPSS2DEVS_5_L13)"];
	"GPSS2DEVS_4_L13" [label="Hold(GPSS2DEVS_4_L13)"];
	"GPSS2DEVS_5_L7" [label="TRANSFER_ALL(GPSS2DEVS_5_L7)"];
	"GPSS2DEVS_4_L7" [label="Hold(GPSS2DEVS_4_L7)"];
	"GPSS2DEVS_5_CKCH" [label="TEST(GPSS2DEVS_5_CKCH)"];
	"GPSS2DEVS_4_CKCH_Y" [label="Hold(GPSS2DEVS_4_CKCH_Y)"];
	"GPSS2DEVS_4_CKCH_N" [label="Hold(GPSS2DEVS_4_CKCH_N)"];
	"GPSS2DEVS_5_L15" [label="GATE(GPSS2DEVS_5_L15)"];
	"GPSS2DEVS_4_L15" [label="Hold(GPSS2DEVS_4_L15)"];
	"GPSS2DEVS_4_L15_B" [label="Hold(GPSS2DEVS_4_L15_B)"];
	"GPSS2DEVS_1_L16" [label="UNLINK(GPSS2DEVS_1_L16)"];
	"GPSS2DEVS_4_L16" [label="Hold(GPSS2DEVS_4_L16)"];
	"GPSS2DEVS_4_L16_B" [label="Hold(GPSS2DEVS_4_L16_B)"];
	"GPSS2DEVS_4_L16_F" [label="Hold(GPSS2DEVS_4_L16_F)"];
	"GPSS2DEVS_5_TERM" [label="TERMINATE(GPSS2DEVS_5_TERM)"];
	"GPSS2DEVS_1_GETF" [label="UNLINK(GPSS2DEVS_1_GETF)"];
	"GPSS2DEVS_4_GETF" [label="Hold(GPSS2DEVS_4_GETF)"];
	"GPSS2DEVS_4_GETF_B" [label="Hold(GPSS2DEVS_4_GETF_B)"];
	"GPSS2DEVS_5_ABND" [label="TERMINATE(GPSS2DEVS_5_ABND)"];
	"GPSS2DEVS_5_BLKD" [label="LINK(GPSS2DEVS_5_BLKD)"];
	"GPSS2DEVS_5_BUSY" [label="LOGIC(GPSS2DEVS_5_BUSY)"];
	"GPSS2DEVS_4_BUSY" [label="Hold(GPSS2DEVS_4_BUSY)"];
	"GPSS2DEVS_5_L21" [label="LEAVE(GPSS2DEVS_5_L21)"];
	"GPSS2DEVS_4_L21" [label="Hold(GPSS2DEVS_4_L21)"];
	"GPSS2DEVS_0_L26" [label="RandomDelayGenerator(GPSS2DEVS_0_L26)"];
	"GPSS2DEVS_4_L26" [label="Hold(GPSS2DEVS_4_L26)"];
	"GPSS2DEVS_5_L27" [label="TERMINATE(GPSS2DEVS_5_L27)"];

	GPSS2DEVS_2_Controller -> GPSS2DEVS_4_L0 [label="notify / release"];
	GPSS2DEVS_2_Controller -> GPSS2DEVS_4_L1_Y [label="notify / release"];
	GPSS2DEVS_2_Controller -> GPSS2DEVS_4_L1_N [label="notify / release"];
	GPSS2DEVS_2_Controller -> GPSS2DEVS_4_ASN1 [label="notify / release"];
	GPSS2DEVS_2_Controller -> GPSS2DEVS_4_L3 [label="notify / release"];
	GPSS2DEVS_2_Controller -> GPSS2DEVS_4_L3_B [label="notify / release"];
	GPSS2DEVS_2_Controller -> GPSS2DEVS_4_ASN2 [label="notify / release"];
	GPSS2DEVS_2_Controller -> GPSS2DEVS_4_L5_Y [label="notify / release"];
	GPSS2DEVS_2_Controller -> GPSS2DEVS_4_L5_N [label="notify / release"];
	GPSS2DEVS_2_Controller -> GPSS2DEVS_4_L6 [label="notify / release"];
	GPSS2DEVS_2_Controller -> GPSS2DEVS_4_GETL [label="notify / release"];
	GPSS2DEVS_2_Controller -> GPSS2DEVS_4_L8 [label="notify / release"];
	GPSS2DEVS_2_Controller -> GPSS2DEVS_4_L8_B [label="notify / release"];
	GPSS2DEVS_2_Controller -> GPSS2DEVS_4_L9 [label="notify / release"];
	GPSS2DEVS_2_Controller -> GPSS2DEVS_4_L10 [label="notify / release"];
	GPSS2DEVS_2_Controller -> GPSS2DEVS_4_L11 [label="notify / release"];
	GPSS2DEVS_2_Controller -> GPSS2DEVS_4_L12 [label="notify / release"];
	GPSS2DEVS_2_Controller -> GPSS2DEVS_4_L13 [label="notify / release"];
	GPSS2DEVS_2_Controller -> GPSS2DEVS_4_L7 [label="notify / release"];
	GPSS2DEVS_2_Controller -> GPSS2DEVS_4_CKCH_Y [label="notify / release"];
	GPSS2DEVS_2_Controller -> GPSS2DEVS_4_CKCH_N [label="notify / release"];
	GPSS2DEVS_2_Controller -> GPSS2DEVS_4_L15 [label="notify / release"];
	GPSS2DEVS_2_Controller -> GPSS2DEVS_4_L15_B [label="notify / release"];
	GPSS2DEVS_2_Controller -> GPSS2DEVS_4_L16 [label="notify / release"];
	GPSS2DEVS_2_Controller -> GPSS2DEVS_4_L16_B [label="notify / release"];
	GPSS2DEVS_2_Controller -> GPSS2DEVS_4_L16_F [label="notify / release"];
	GPSS2DEVS_2_Controller -> GPSS2DEVS_4_GETF [label="notify / release"];
	GPSS2DEVS_2_Controller -> GPSS2DEVS_4_GETF_B [label="notify / release"];
	GPSS2DEVS_2_Controller -> GPSS2DEVS_4_BUSY [label="notify / release"];
	GPSS2DEVS_2_Controller -> GPSS2DEVS_4_L21 [label="notify / release"];
	GPSS2DEVS_2_Controller -> GPSS2DEVS_4_L26 [label="notify / release"];
	GPSS2DEVS_2_Controller -> GPSS2DEVS_1_L10 [label="pause / pause"];
	GPSS2DEVS_3_LogicSwitches -> GPSS2DEVS_2_Controller [label="updates / unblock"];
	GPSS2DEVS_3_LogicSwitches -> GPSS2DEVS_5_L3 [label="updates / switches"];
	GPSS2DEVS_3_LogicSwitches -> GPSS2DEVS_5_L8 [label="updates / switches"];
	GPSS2DEVS_3_LogicSwitches -> GPSS2DEVS_5_L15 [label="updates / switches"];
	GPSS2DEVS_3_LNKS -> GPSS2DEVS_5_GETL [label="updates / storage"];
	GPSS2DEVS_3_LNKS -> GPSS2DEVS_5_L7 [label="updates / claim"];
	GPSS2DEVS_3_WAIT -> GPSS2DEVS_1_L16 [label="updates / chain"];
	GPSS2DEVS_3_WAIT -> GPSS2DEVS_1_GETF [label="updates / chain"];
	GPSS2DEVS_3_WAIT -> GPSS2DEVS_5_BLKD [label="updates / chain"];
	GPSS2DEVS_0_L0 -> GPSS2DEVS_4_L0 [label="output / input"];
	GPSS2DEVS_0_L0 -> GPSS2DEVS_2_Controller [label="output / create"];
	GPSS2DEVS_4_L0 -> GPSS2DEVS_5_L1 [label="output / input"];
	GPSS2DEVS_5_L1 -> GPSS2DEVS_4_L1_Y [label="output / input"];
	GPSS2DEVS_5_L1 -> GPSS2DEVS_4_L1_N [label="C / input"];
	GPSS2DEVS_4_L1_Y -> GPSS2DEVS_5_ASN1 [label="output / input"];
	GPSS2DEVS_4_L1_N -> GPSS2DEVS_5_ABND [label="output / input"];
	GPSS2DEVS_5_ASN1 -> GPSS2DEVS_4_ASN1 [label="output / input"];
	GPSS2DEVS_4_ASN1 -> GPSS2DEVS_5_L3 [label="output / input"];
	GPSS2DEVS_5_L3 -> GPSS2DEVS_4_L3 [label="output / input"];
	GPSS2DEVS_5_L3 -> GPSS2DEVS_4_L3 [label="halting / select"];
	GPSS2DEVS_5_L3 -> GPSS2DEVS_4_L3_B [label="B / input"];
	GPSS2DEVS_4_L3 -> GPSS2DEVS_5_ASN2 [label="output / input"];
	GPSS2DEVS_4_L3 -> GPSS2DEVS_5_L3 [label="fallback / input"];
	GPSS2DEVS_4_L3 -> GPSS2DEVS_2_Controller [label="contents / moved"];
	GPSS2DEVS_4_L3_B -> GPSS2DEVS_5_ASN1 [label="output / input"];
	GPSS2DEVS_5_ASN2 -> GPSS2DEVS_4_ASN2 [label="output / input"];
	GPSS2DEVS_4_ASN2 -> GPSS2DEVS_5_L5 [label="output / input"];
	GPSS2DEVS_5_L5 -> GPSS2DEVS_4_L5_Y [label="output / input"];
	GPSS2DEVS_5_L5 -> GPSS2DEVS_4_L5_N [label="C / input"];
	GPSS2DEVS_4_L5_Y -> GPSS2DEVS_5_L6 [label="output / input"];
	GPSS2DEVS_4_L5_N -> GPSS2DEVS_5_ASN2 [label="output / input"];
	GPSS2DEVS_5_L6 -> GPSS2DEVS_4_L6 [label="output / input"];
	GPSS2DEVS_5_L6 -> GPSS2DEVS_3_LogicSwitches [label="switches / change"];
	GPSS2DEVS_4_L6 -> GPSS2DEVS_5_L7 [label="output / input"];
	GPSS2DEVS_5_GETL -> GPSS2DEVS_4_GETL [label="output / input"];
	GPSS2DEVS_5_GETL -> GPSS2DEVS_3_LNKS [label="request / enter"];
	GPSS2DEVS_5_GETL -> GPSS2DEVS_4_GETL [label="halting / select"];
	GPSS2DEVS_4_GETL -> GPSS2DEVS_5_L8 [label="output / input"];
	GPSS2DEVS_4_GETL -> GPSS2DEVS_5_GETL [label="fallback / input"];
	GPSS2DEVS_4_GETL -> GPSS2DEVS_2_Controller [label="contents / moved"];
	GPSS2DEVS_5_L8 -> GPSS2DEVS_4_L8 [label="output / input"];
	GPSS2DEVS_5_L8 -> GPSS2DEVS_4_L8 [label="halting / select"];
	GPSS2DEVS_5_L8 -> GPSS2DEVS_4_L8_B [label="B / input"];
	GPSS2DEVS_4_L8 -> GPSS2DEVS_5_L9 [label="output / input"];
	GPSS2DEVS_4_L8 -> GPSS2DEVS_5_L8 [label="fallback / input"];
	GPSS2DEVS_4_L8 -> GPSS2DEVS_2_Controller [label="contents / moved"];
	GPSS2DEVS_4_L8_B -> GPSS2DEVS_5_BUSY [label="output / input"];
	GPSS2DEVS_5_L9 -> GPSS2DEVS_4_L9 [label="output / input"];
	GPSS2DEVS_5_L9 -> GPSS2DEVS_3_LogicSwitches [label="switches / change"];
	GPSS2DEVS_4_L9 -> GPSS2DEVS_2_Controller [label="output / delay"];
	GPSS2DEVS_4_L9 -> GPSS2DEVS_1_L10 [label="output / input"];
	GPSS2DEVS_1_L10 -> GPSS2DEVS_4_L10 [label="output / input"];
	GPSS2DEVS_1_L10 -> GPSS2DEVS_2_Controller [label="output / moved"];
	GPSS2DEVS_4_L10 -> GPSS2DEVS_5_L11 [label="output / input"];
	GPSS2DEVS_5_L11 -> GPSS2DEVS_4_L11 [label="output / input"];
	GPSS2DEVS_5_L11 -> GPSS2DEVS_3_LogicSwitches [label="switches / change"];
	GPSS2DEVS_4_L11 -> GPSS2DEVS_5_L12 [label="output / input"];
	GPSS2DEVS_5_L12 -> GPSS2DEVS_4_L12 [label="output / input"];
	GPSS2DEVS_5_L12 -> GPSS2DEVS_3_LogicSwitches [label="switches / change"];
	GPSS2DEVS_4_L12 -> GPSS2DEVS_5_L13 [label="output / input"];
	GPSS2DEVS_5_L13 -> GPSS2DEVS_4_L13 [label="output / input"];
	GPSS2DEVS_5_L13 -> GPSS2DEVS_3_LNKS [label="storage / leave"];
	GPSS2DEVS_5_L13 -> GPSS2DEVS_2_Controller [label="storage / unblock"];
	GPSS2DEVS_5_L13 -> GPSS2DEVS_5_L7 [label="storage / input-0"];
	GPSS2DEVS_4_L13 -> GPSS2DEVS_5_CKCH [label="output / input"];
	GPSS2DEVS_5_L7 -> GPSS2DEVS_4_L7 [label="output / input"];
	GPSS2DEVS_5_L7 -> GPSS2DEVS_5_GETL [label="output-0 / input"];
	GPSS2DEVS_4_L7 -> GPSS2DEVS_2_Controller [label="output / delay"];
	GPSS2DEVS_4_L7 -> GPSS2DEVS_5_BLKD [label="output / input"];
	GPSS2DEVS_5_CKCH -> GPSS2DEVS_4_CKCH_Y [label="output / input"];
	GPSS2DEVS_5_CKCH -> GPSS2DEVS_4_CKCH_N [label="C / input"];
	GPSS2DEVS_4_CKCH_Y -> GPSS2DEVS_5_L15 [label="output / input"];
	GPSS2DEVS_4_CKCH_N -> GPSS2DEVS_5_TERM [label="output / input"];
	GPSS2DEVS_5_L15 -> GPSS2DEVS_4_L15 [label="output / input"];
	GPSS2DEVS_5_L15 -> GPSS2DEVS_4_L15 [label="halting / select"];
	GPSS2DEVS_5_L15 -> GPSS2DEVS_4_L15_B [label="B / input"];
	GPSS2DEVS_4_L15 -> GPSS2DEVS_1_L16 [label="output / input"];
	GPSS2DEVS_4_L15 -> GPSS2DEVS_5_L15 [label="fallback / input"];
	GPSS2DEVS_4_L15 -> GPSS2DEVS_2_Controller [label="contents / moved"];
	GPSS2DEVS_4_L15_B -> GPSS2DEVS_1_GETF [label="output / input"];
	GPSS2DEVS_1_L16 -> GPSS2DEVS_4_L16_B [label="B / input"];
	GPSS2DEVS_1_L16 -> GPSS2DEVS_2_Controller [label="B / moved"];
	GPSS2DEVS_1_L16 -> GPSS2DEVS_4_L16 [label="output / input"];
	GPSS2DEVS_1_L16 -> GPSS2DEVS_3_WAIT [label="unlink / leave"];
	GPSS2DEVS_1_L16 -> GPSS2DEVS_4_L16_F [label="F / input"];
	GPSS2DEVS_4_L16 -> GPSS2DEVS_5_TERM [label="output / input"];
	GPSS2DEVS_4_L16_B -> GPSS2DEVS_5_GETL [label="output / input"];
	GPSS2DEVS_4_L16_F -> GPSS2DEVS_1_GETF [label="output / input"];
	GPSS2DEVS_5_TERM -> GPSS2DEVS_2_Controller [label="output / terminate"];
	GPSS2DEVS_1_GETF -> GPSS2DEVS_4_GETF_B [label="B / input"];
	GPSS2DEVS_1_GETF -> GPSS2DEVS_2_Controller [label="B / moved"];
	GPSS2DEVS_1_GETF -> GPSS2DEVS_4_GETF [label="output / input"];
	GPSS2DEVS_1_GETF -> GPSS2DEVS_3_WAIT [label="unlink / leave"];
	GPSS2DEVS_4_GETF -> GPSS2DEVS_5_TERM [label="output / input"];
	GPSS2DEVS_4_GETF_B -> GPSS2DEVS_5_GETL [label="output / input"];
	GPSS2DEVS_5_ABND -> GPSS2DEVS_2_Controller [label="output / terminate"];
	GPSS2DEVS_5_BLKD -> GPSS2DEVS_3_WAIT [label="output / enter"];
	GPSS2DEVS_5_BUSY -> GPSS2DEVS_4_BUSY [label="output / input"];
	GPSS2DEVS_5_BUSY -> GPSS2DEVS_3_LogicSwitches [label="switches / change"];
	GPSS2DEVS_4_BUSY -> GPSS2DEVS_5_L21 [label="output / input"];
	GPSS2DEVS_5_L21 -> GPSS2DEVS_4_L21 [label="output / input"];
	GPSS2DEVS_5_L21 -> GPSS2DEVS_3_LNKS [label="storage / leave"];
	GPSS2DEVS_5_L21 -> GPSS2DEVS_2_Controller [label="storage / unblock"];
	GPSS2DEVS_4_L21 -> GPSS2DEVS_5_CKCH [label="output / input"];
	GPSS2DEVS_0_L26 -> GPSS2DEVS_4_L26 [label="output / input"];
	GPSS2DEVS_0_L26 -> GPSS2DEVS_2_Controller [label="output / create"];
	GPSS2DEVS_4_L26 -> GPSS2DEVS_5_L27 [label="output / input"];
	GPSS2DEVS_5_L27 -> GPSS2DEVS_2_Controller [label="output / terminate"];
}