// Common Process Methodology, version 1.0, DAI, 1998
// Date: Fri Sep 25 10:54:08 1998
// File: /hame/stevep/cpf/demo/threepig/threepig.cpd
//------------
%define-domain(threepig)

// Processing card: CPM: CTD Build-House

process.label(PROC1)="Build-House-1"
process.activity-spec(PROC1,AS1)
start.timepoint(BEG1)=TP1
node.label(BEG1)="Begin"
include-node(IC1)=BEG1
member(IC1,AS1)
finish.timepoint(END1)=TP2
node.label(END1)="End"
include-node(IC2)=END1
member(IC2,AS1)
activity.begin-timepoint(ACT1)=TP3
activity.end-timepoint(ACT1)=TP4
node.label(ACT1)="Provide-Money-Limit"
activity.pattern(ACT1)="Provide-Money-Limit"
include-node(IC3)=ACT1
member(IC3,AS1)
constraint.expression(OC1)="before(TP1,TP3)"
member(OC1,AS1)
activity.begin-timepoint(ACT2)=TP5
activity.end-timepoint(ACT2)=TP6
node.label(ACT2)="Prefer-Material"
activity.pattern(ACT2)="Prefer-Material"
include-node(IC4)=ACT2
member(IC4,AS1)
constraint.expression(OC2)="before(TP1,TP5)"
member(OC2,AS1)
activity.begin-timepoint(ACT3)=TP7
activity.end-timepoint(ACT3)=TP8
node.label(ACT3)="Build-Required-House"
activity.pattern(ACT3)="Build-Required-House"
include-node(IC5)=ACT3
member(IC5,AS1)
constraint.expression(OC3)="before(TP6,TP7)"
member(OC3,AS1)
constraint.expression(OC4)="before(TP4,TP7)"
member(OC4,AS1)
constraint.expression(OC5)="before(TP8,TP2)"
member(OC5,AS1)

// Processing card: CPM: CTD Build-House-Model

process.label(PROC2)="Build-House-Model-1"
process.activity-spec(PROC2,AS2)
start.timepoint(BEG2)=TP9
node.label(BEG2)="Begin"
include-node(IC6)=BEG2
member(IC6,AS2)
finish.timepoint(END2)=TP10
node.label(END2)="End"
include-node(IC7)=END2
member(IC7,AS2)
activity.begin-timepoint(ACT4)=TP11
activity.end-timepoint(ACT4)=TP12
node.label(ACT4)="Select-Material"
activity.pattern(ACT4)="Select-Material"
include-node(IC8)=ACT4
member(IC8,AS2)
constraint.expression(OC6)="before(TP9,TP11)"
member(OC6,AS2)
activity.begin-timepoint(ACT5)=TP13
activity.end-timepoint(ACT5)=TP14
node.label(ACT5)="Construct-House"
activity.pattern(ACT5)="Construct-House"
include-node(IC9)=ACT5
member(IC9,AS2)
constraint.expression(OC7)="before(TP12,TP13)"
member(OC7,AS2)
activity.begin-timepoint(ACT6)=TP15
activity.end-timepoint(ACT6)=TP16
node.label(ACT6)="Check-Requirements"
activity.pattern(ACT6)="Check-Requirements"
include-node(IC10)=ACT6
member(IC10,AS2)
constraint.expression(OC8)="before(TP14,TP15)"
member(OC8,AS2)
constraint.expression(OC9)="before(TP16,TP10)"
member(OC9,AS2)

process.label(PROC3)="Build-House-Model-2"
process.activity-spec(PROC3,AS3)
start.timepoint(BEG3)=TP17
node.label(BEG3)="Begin"
include-node(IC11)=BEG3
member(IC11,AS3)
finish.timepoint(END3)=TP18
node.label(END3)="End"
include-node(IC12)=END3
member(IC12,AS3)
activity.begin-timepoint(ACT7)=TP19
activity.end-timepoint(ACT7)=TP20
node.label(ACT7)="Select-Material"
activity.pattern(ACT7)="Select-Material"
include-node(IC13)=ACT7
member(IC13,AS3)
constraint.expression(OC10)="before(TP17,TP19)"
member(OC10,AS3)
activity.begin-timepoint(ACT8)=TP21
activity.end-timepoint(ACT8)=TP22
node.label(ACT8)="Construct-House"
activity.pattern(ACT8)="Construct-House"
include-node(IC14)=ACT8
member(IC14,AS3)
constraint.expression(OC11)="before(TP20,TP21)"
member(OC11,AS3)
activity.begin-timepoint(ACT9)=TP23
activity.end-timepoint(ACT9)=TP24
node.label(ACT9)="Check-Requirements"
activity.pattern(ACT9)="Check-Requirements"
include-node(IC15)=ACT9
member(IC15,AS3)
constraint.expression(OC12)="before(TP22,TP23)"
member(OC12,AS3)
constraint.expression(OC13)="before(TP24,TP18)"
member(OC13,AS3)

// Processing card: CPM: CTD Check-Security

process.label(PROC4)="Check-Security-1"
process.activity-spec(PROC4,AS4)
start.timepoint(BEG4)=TP25
node.label(BEG4)="Begin"
include-node(IC16)=BEG4
member(IC16,AS4)
finish.timepoint(END4)=TP26
node.label(END4)="End"
include-node(IC17)=END4
member(IC17,AS4)
activity.begin-timepoint(ACT10)=TP27
activity.end-timepoint(ACT10)=TP28
node.label(ACT10)="Evaluate-Material"
activity.pattern(ACT10)="Evaluate-Material"
include-node(IC18)=ACT10
member(IC18,AS4)
constraint.expression(OC14)="before(TP25,TP27)"
member(OC14,AS4)
activity.begin-timepoint(ACT11)=TP29
activity.end-timepoint(ACT11)=TP30
node.label(ACT11)="Evaluate-Wolf-Proof"
activity.pattern(ACT11)="Evaluate-Wolf-Proof"
include-node(IC19)=ACT11
member(IC19,AS4)
constraint.expression(OC15)="before(TP28,TP29)"
member(OC15,AS4)
activity.begin-timepoint(ACT12)=TP31
activity.end-timepoint(ACT12)=TP32
node.label(ACT12)="Evaluate-Security"
activity.pattern(ACT12)="Evaluate-Security"
include-node(IC20)=ACT12
member(IC20,AS4)
constraint.expression(OC16)="before(TP30,TP31)"
member(OC16,AS4)
constraint.expression(OC17)="before(TP32,TP26)"
member(OC17,AS4)

// Processing card: CPM: CTD Build-House-Material

process.label(PROC5)="Build-House-Material-1"
process.activity-spec(PROC5,AS5)
start.timepoint(BEG5)=TP33
node.label(BEG5)="Begin"
include-node(IC21)=BEG5
member(IC21,AS5)
finish.timepoint(END5)=TP34
node.label(END5)="End"
include-node(IC22)=END5
member(IC22,AS5)
activity.begin-timepoint(ACT13)=TP35
activity.end-timepoint(ACT13)=TP36
node.label(ACT13)="Build-House-of-Straw"
activity.pattern(ACT13)="Build-House-of-Straw"
include-node(IC23)=ACT13
member(IC23,AS5)
constraint.expression(OC18)="before(TP33,TP35)"
member(OC18,AS5)
constraint.expression(OC19)="before(TP36,TP34)"
member(OC19,AS5)

process.label(PROC6)="Build-House-Material-2"
process.activity-spec(PROC6,AS6)
start.timepoint(BEG6)=TP37
node.label(BEG6)="Begin"
include-node(IC24)=BEG6
member(IC24,AS6)
finish.timepoint(END6)=TP38
node.label(END6)="End"
include-node(IC25)=END6
member(IC25,AS6)
activity.begin-timepoint(ACT14)=TP39
activity.end-timepoint(ACT14)=TP40
node.label(ACT14)="Build-House-of-Sticks"
activity.pattern(ACT14)="Build-House-of-Sticks"
include-node(IC26)=ACT14
member(IC26,AS6)
constraint.expression(OC20)="before(TP37,TP39)"
member(OC20,AS6)
constraint.expression(OC21)="before(TP40,TP38)"
member(OC21,AS6)

process.label(PROC7)="Build-House-Material-3"
process.activity-spec(PROC7,AS7)
start.timepoint(BEG7)=TP41
node.label(BEG7)="Begin"
include-node(IC27)=BEG7
member(IC27,AS7)
finish.timepoint(END7)=TP42
node.label(END7)="End"
include-node(IC28)=END7
member(IC28,AS7)
activity.begin-timepoint(ACT15)=TP43
activity.end-timepoint(ACT15)=TP44
node.label(ACT15)="Build-House-of-Bricks"
activity.pattern(ACT15)="Build-House-of-Bricks"
include-node(IC29)=ACT15
member(IC29,AS7)
constraint.expression(OC22)="before(TP41,TP43)"
member(OC22,AS7)
constraint.expression(OC23)="before(TP44,TP42)"
member(OC23,AS7)

// Processing card: CPM: CTD House-Builder

process.label(PROC8)="House-Builder-1"
process.activity-spec(PROC8,AS8)
start.timepoint(BEG8)=TP45
node.label(BEG8)="Begin"
include-node(IC30)=BEG8
member(IC30,AS8)
finish.timepoint(END8)=TP46
node.label(END8)="End"
include-node(IC31)=END8
member(IC31,AS8)
activity.begin-timepoint(ACT16)=TP47
activity.end-timepoint(ACT16)=TP48
node.label(ACT16)="Build-Walls"
activity.pattern(ACT16)="Build-Walls"
include-node(IC32)=ACT16
member(IC32,AS8)
constraint.expression(OC24)="before(TP45,TP47)"
member(OC24,AS8)
activity.begin-timepoint(ACT17)=TP49
activity.end-timepoint(ACT17)=TP50
node.label(ACT17)="Install-Doors"
activity.pattern(ACT17)="Install-Doors"
include-node(IC33)=ACT17
member(IC33,AS8)
constraint.expression(OC25)="before(TP48,TP49)"
member(OC25,AS8)
constraint.expression(OC26)="before(TP50,TP46)"
member(OC26,AS8)

// Processing card: CPM: CTD Wall-Builder

process.label(PROC9)="Wall-Builder-1"
process.activity-spec(PROC9,AS9)
start.timepoint(BEG9)=TP51
node.label(BEG9)="Begin"
include-node(IC34)=BEG9
member(IC34,AS9)
finish.timepoint(END9)=TP52
node.label(END9)="End"
include-node(IC35)=END9
member(IC35,AS9)
activity.begin-timepoint(ACT18)=TP53
activity.end-timepoint(ACT18)=TP54
node.label(ACT18)="Acquire-Material"
activity.pattern(ACT18)="Acquire-Material"
include-node(IC36)=ACT18
member(IC36,AS9)
constraint.expression(OC27)="before(TP51,TP53)"
member(OC27,AS9)
activity.begin-timepoint(ACT19)=TP55
activity.end-timepoint(ACT19)=TP56
node.label(ACT19)="Construct-Walls"
activity.pattern(ACT19)="Construct-Walls"
include-node(IC37)=ACT19
member(IC37,AS9)
constraint.expression(OC28)="before(TP54,TP55)"
member(OC28,AS9)
constraint.expression(OC29)="before(TP56,TP52)"
member(OC29,AS9)

// Processing card: CPM: CTD Purchase-Materials

process.label(PROC10)="Purchase-Materials-1"
process.activity-spec(PROC10,AS10)
start.timepoint(BEG10)=TP57
node.label(BEG10)="Begin"
include-node(IC38)=BEG10
member(IC38,AS10)
finish.timepoint(END10)=TP58
node.label(END10)="End"
include-node(IC39)=END10
member(IC39,AS10)
activity.begin-timepoint(ACT20)=TP59
activity.end-timepoint(ACT20)=TP60
node.label(ACT20)="Determine-Material-Cost"
activity.pattern(ACT20)="Determine-Material-Cost"
include-node(IC40)=ACT20
member(IC40,AS10)
constraint.expression(OC30)="before(TP57,TP59)"
member(OC30,AS10)
activity.begin-timepoint(ACT21)=TP61
activity.end-timepoint(ACT21)=TP62
node.label(ACT21)="Provide-Material-Cost"
activity.pattern(ACT21)="Provide-Material-Cost"
include-node(IC41)=ACT21
member(IC41,AS10)
constraint.expression(OC31)="before(TP60,TP61)"
member(OC31,AS10)
activity.begin-timepoint(ACT22)=TP63
activity.end-timepoint(ACT22)=TP64
node.label(ACT22)="Purchase-Straw"
activity.pattern(ACT22)="Purchase-Straw"
include-node(IC42)=ACT22
member(IC42,AS10)
constraint.expression(OC32)="before(TP62,TP63)"
member(OC32,AS10)
constraint.expression(OC33)="before(TP64,TP58)"
member(OC33,AS10)

process.label(PROC11)="Purchase-Materials-2"
process.activity-spec(PROC11,AS11)
start.timepoint(BEG11)=TP65
node.label(BEG11)="Begin"
include-node(IC43)=BEG11
member(IC43,AS11)
finish.timepoint(END11)=TP66
node.label(END11)="End"
include-node(IC44)=END11
member(IC44,AS11)
activity.begin-timepoint(ACT23)=TP67
activity.end-timepoint(ACT23)=TP68
node.label(ACT23)="Determine-Material-Cost"
activity.pattern(ACT23)="Determine-Material-Cost"
include-node(IC45)=ACT23
member(IC45,AS11)
constraint.expression(OC34)="before(TP65,TP67)"
member(OC34,AS11)
activity.begin-timepoint(ACT24)=TP69
activity.end-timepoint(ACT24)=TP70
node.label(ACT24)="Provide-Material-Cost"
activity.pattern(ACT24)="Provide-Material-Cost"
include-node(IC46)=ACT24
member(IC46,AS11)
constraint.expression(OC35)="before(TP68,TP69)"
member(OC35,AS11)
activity.begin-timepoint(ACT25)=TP71
activity.end-timepoint(ACT25)=TP72
node.label(ACT25)="Purchase-Sticks"
activity.pattern(ACT25)="Purchase-Sticks"
include-node(IC47)=ACT25
member(IC47,AS11)
constraint.expression(OC36)="before(TP70,TP71)"
member(OC36,AS11)
constraint.expression(OC37)="before(TP72,TP66)"
member(OC37,AS11)

process.label(PROC12)="Purchase-Materials-3"
process.activity-spec(PROC12,AS12)
start.timepoint(BEG12)=TP73
node.label(BEG12)="Begin"
include-node(IC48)=BEG12
member(IC48,AS12)
finish.timepoint(END12)=TP74
node.label(END12)="End"
include-node(IC49)=END12
member(IC49,AS12)
activity.begin-timepoint(ACT26)=TP75
activity.end-timepoint(ACT26)=TP76
node.label(ACT26)="Determine-Material-Cost"
activity.pattern(ACT26)="Determine-Material-Cost"
include-node(IC50)=ACT26
member(IC50,AS12)
constraint.expression(OC38)="before(TP73,TP75)"
member(OC38,AS12)
activity.begin-timepoint(ACT27)=TP77
activity.end-timepoint(ACT27)=TP78
node.label(ACT27)="Provide-Material-Cost"
activity.pattern(ACT27)="Provide-Material-Cost"
include-node(IC51)=ACT27
member(IC51,AS12)
constraint.expression(OC39)="before(TP76,TP77)"
member(OC39,AS12)
activity.begin-timepoint(ACT28)=TP79
activity.end-timepoint(ACT28)=TP80
node.label(ACT28)="Purchase-Bricks"
activity.pattern(ACT28)="Purchase-Bricks"
include-node(IC52)=ACT28
member(IC52,AS12)
constraint.expression(OC40)="before(TP78,TP79)"
member(OC40,AS12)
constraint.expression(OC41)="before(TP80,TP74)"
member(OC41,AS12)

// Processing card: CPM: CTD Construct-Walls

process.label(PROC13)="Construct-Walls-1"
process.activity-spec(PROC13,AS13)
start.timepoint(BEG13)=TP81
node.label(BEG13)="Begin"
include-node(IC53)=BEG13
member(IC53,AS13)
finish.timepoint(END13)=TP82
node.label(END13)="End"
include-node(IC54)=END13
member(IC54,AS13)
activity.begin-timepoint(ACT29)=TP83
activity.end-timepoint(ACT29)=TP84
node.label(ACT29)="Determine-Operation-Cost"
activity.pattern(ACT29)="Determine-Operation-Cost"
include-node(IC55)=ACT29
member(IC55,AS13)
constraint.expression(OC42)="before(TP81,TP83)"
member(OC42,AS13)
activity.begin-timepoint(ACT30)=TP85
activity.end-timepoint(ACT30)=TP86
node.label(ACT30)="Provide-Operation-Cost"
activity.pattern(ACT30)="Provide-Operation-Cost"
include-node(IC56)=ACT30
member(IC56,AS13)
constraint.expression(OC43)="before(TP84,TP85)"
member(OC43,AS13)
activity.begin-timepoint(ACT31)=TP87
activity.end-timepoint(ACT31)=TP88
node.label(ACT31)="Make-Straw-Walls"
activity.pattern(ACT31)="Make-Straw-Walls"
include-node(IC57)=ACT31
member(IC57,AS13)
constraint.expression(OC44)="before(TP86,TP87)"
member(OC44,AS13)
constraint.expression(OC45)="before(TP88,TP82)"
member(OC45,AS13)

process.label(PROC14)="Construct-Walls-2"
process.activity-spec(PROC14,AS14)
start.timepoint(BEG14)=TP89
node.label(BEG14)="Begin"
include-node(IC58)=BEG14
member(IC58,AS14)
finish.timepoint(END14)=TP90
node.label(END14)="End"
include-node(IC59)=END14
member(IC59,AS14)
activity.begin-timepoint(ACT32)=TP91
activity.end-timepoint(ACT32)=TP92
node.label(ACT32)="Determine-Operation-Cost"
activity.pattern(ACT32)="Determine-Operation-Cost"
include-node(IC60)=ACT32
member(IC60,AS14)
constraint.expression(OC46)="before(TP89,TP91)"
member(OC46,AS14)
activity.begin-timepoint(ACT33)=TP93
activity.end-timepoint(ACT33)=TP94
node.label(ACT33)="Provide-Operation-Cost"
activity.pattern(ACT33)="Provide-Operation-Cost"
include-node(IC61)=ACT33
member(IC61,AS14)
constraint.expression(OC47)="before(TP92,TP93)"
member(OC47,AS14)
activity.begin-timepoint(ACT34)=TP95
activity.end-timepoint(ACT34)=TP96
node.label(ACT34)="Make-Stick-Walls"
activity.pattern(ACT34)="Make-Stick-Walls"
include-node(IC62)=ACT34
member(IC62,AS14)
constraint.expression(OC48)="before(TP94,TP95)"
member(OC48,AS14)
constraint.expression(OC49)="before(TP96,TP90)"
member(OC49,AS14)

process.label(PROC15)="Construct-Walls-3"
process.activity-spec(PROC15,AS15)
start.timepoint(BEG15)=TP97
node.label(BEG15)="Begin"
include-node(IC63)=BEG15
member(IC63,AS15)
finish.timepoint(END15)=TP98
node.label(END15)="End"
include-node(IC64)=END15
member(IC64,AS15)
activity.begin-timepoint(ACT35)=TP99
activity.end-timepoint(ACT35)=TP100
node.label(ACT35)="Determine-Operation-Cost"
activity.pattern(ACT35)="Determine-Operation-Cost"
include-node(IC65)=ACT35
member(IC65,AS15)
constraint.expression(OC50)="before(TP97,TP99)"
member(OC50,AS15)
activity.begin-timepoint(ACT36)=TP101
activity.end-timepoint(ACT36)=TP102
node.label(ACT36)="Provide-Operation-Cost"
activity.pattern(ACT36)="Provide-Operation-Cost"
include-node(IC66)=ACT36
member(IC66,AS15)
constraint.expression(OC51)="before(TP100,TP101)"
member(OC51,AS15)
activity.begin-timepoint(ACT37)=TP103
activity.end-timepoint(ACT37)=TP104
node.label(ACT37)="Make-Brick-Walls"
activity.pattern(ACT37)="Make-Brick-Walls"
include-node(IC67)=ACT37
member(IC67,AS15)
constraint.expression(OC52)="before(TP102,TP103)"
member(OC52,AS15)
constraint.expression(OC53)="before(TP104,TP98)"
member(OC53,AS15)

// Processing card: CPM: CTD Install-Doors

process.label(PROC16)="Install-Doors-1"
process.activity-spec(PROC16,AS16)
start.timepoint(BEG16)=TP105
node.label(BEG16)="Begin"
include-node(IC68)=BEG16
member(IC68,AS16)
finish.timepoint(END16)=TP106
node.label(END16)="End"
include-node(IC69)=END16
member(IC69,AS16)
activity.begin-timepoint(ACT38)=TP107
activity.end-timepoint(ACT38)=TP108
node.label(ACT38)="Determine-Operation-Cost"
activity.pattern(ACT38)="Determine-Operation-Cost"
include-node(IC70)=ACT38
member(IC70,AS16)
constraint.expression(OC54)="before(TP105,TP107)"
member(OC54,AS16)
activity.begin-timepoint(ACT39)=TP109
activity.end-timepoint(ACT39)=TP110
node.label(ACT39)="Provide-Operation-Cost"
activity.pattern(ACT39)="Provide-Operation-Cost"
include-node(IC71)=ACT39
member(IC71,AS16)
constraint.expression(OC55)="before(TP108,TP109)"
member(OC55,AS16)
activity.begin-timepoint(ACT40)=TP111
activity.end-timepoint(ACT40)=TP112
node.label(ACT40)="Install-Doors"
activity.pattern(ACT40)="Install-Doors"
include-node(IC72)=ACT40
member(IC72,AS16)
constraint.expression(OC56)="before(TP110,TP111)"
member(OC56,AS16)
constraint.expression(OC57)="before(TP112,TP106)"
member(OC57,AS16)

process.label(PROC17)="Install-Doors-2"
process.activity-spec(PROC17,AS17)
start.timepoint(BEG17)=TP113
node.label(BEG17)="Begin"
include-node(IC73)=BEG17
member(IC73,AS17)
finish.timepoint(END17)=TP114
node.label(END17)="End"
include-node(IC74)=END17
member(IC74,AS17)
activity.begin-timepoint(ACT41)=TP115
activity.end-timepoint(ACT41)=TP116
node.label(ACT41)="Determine-Operation-Cost"
activity.pattern(ACT41)="Determine-Operation-Cost"
include-node(IC75)=ACT41
member(IC75,AS17)
constraint.expression(OC58)="before(TP113,TP115)"
member(OC58,AS17)
activity.begin-timepoint(ACT42)=TP117
activity.end-timepoint(ACT42)=TP118
node.label(ACT42)="Provide-Operation-Cost"
activity.pattern(ACT42)="Provide-Operation-Cost"
include-node(IC76)=ACT42
member(IC76,AS17)
constraint.expression(OC59)="before(TP116,TP117)"
member(OC59,AS17)
activity.begin-timepoint(ACT43)=TP119
activity.end-timepoint(ACT43)=TP120
node.label(ACT43)="Install-Wolf-Proof-Doors"
activity.pattern(ACT43)="Install-Wolf-Proof-Doors"
include-node(IC77)=ACT43
member(IC77,AS17)
constraint.expression(OC60)="before(TP118,TP119)"
member(OC60,AS17)
constraint.expression(OC61)="before(TP120,TP114)"
member(OC61,AS17)

// Processing card: CPM: CTD Install-Windows

process.label(PROC18)="Install-Windows-1"
process.activity-spec(PROC18,AS18)
start.timepoint(BEG18)=TP121
node.label(BEG18)="Begin"
include-node(IC78)=BEG18
member(IC78,AS18)
finish.timepoint(END18)=TP122
node.label(END18)="End"
include-node(IC79)=END18
member(IC79,AS18)
activity.begin-timepoint(ACT44)=TP123
activity.end-timepoint(ACT44)=TP124
node.label(ACT44)="Determine-Operation-Cost"
activity.pattern(ACT44)="Determine-Operation-Cost"
include-node(IC80)=ACT44
member(IC80,AS18)
constraint.expression(OC62)="before(TP121,TP123)"
member(OC62,AS18)
activity.begin-timepoint(ACT45)=TP125
activity.end-timepoint(ACT45)=TP126
node.label(ACT45)="Provide-Operation-Cost"
activity.pattern(ACT45)="Provide-Operation-Cost"
include-node(IC81)=ACT45
member(IC81,AS18)
constraint.expression(OC63)="before(TP124,TP125)"
member(OC63,AS18)
activity.begin-timepoint(ACT46)=TP127
activity.end-timepoint(ACT46)=TP128
node.label(ACT46)="Install-Windows"
activity.pattern(ACT46)="Install-Windows"
include-node(IC82)=ACT46
member(IC82,AS18)
constraint.expression(OC64)="before(TP126,TP127)"
member(OC64,AS18)
constraint.expression(OC65)="before(TP128,TP122)"
member(OC65,AS18)

process.label(PROC19)="Install-Windows-2"
process.activity-spec(PROC19,AS19)
start.timepoint(BEG19)=TP129
node.label(BEG19)="Begin"
include-node(IC83)=BEG19
member(IC83,AS19)
finish.timepoint(END19)=TP130
node.label(END19)="End"
include-node(IC84)=END19
member(IC84,AS19)
activity.begin-timepoint(ACT47)=TP131
activity.end-timepoint(ACT47)=TP132
node.label(ACT47)="Determine-Operation-Cost"
activity.pattern(ACT47)="Determine-Operation-Cost"
include-node(IC85)=ACT47
member(IC85,AS19)
constraint.expression(OC66)="before(TP129,TP131)"
member(OC66,AS19)
activity.begin-timepoint(ACT48)=TP133
activity.end-timepoint(ACT48)=TP134
node.label(ACT48)="Provide-Operation-Cost"
activity.pattern(ACT48)="Provide-Operation-Cost"
include-node(IC86)=ACT48
member(IC86,AS19)
constraint.expression(OC67)="before(TP132,TP133)"
member(OC67,AS19)
activity.begin-timepoint(ACT49)=TP135
activity.end-timepoint(ACT49)=TP136
node.label(ACT49)="Install-Wolf-Proof-Windows"
activity.pattern(ACT49)="Install-Wolf-Proof-Windows"
include-node(IC87)=ACT49
member(IC87,AS19)
constraint.expression(OC68)="before(TP134,TP135)"
member(OC68,AS19)
constraint.expression(OC69)="before(TP136,TP130)"
member(OC69,AS19)

SORT cpo-process={PROC1,PROC19,PROC18,PROC17,PROC16,PROC15,PROC14,PROC13,PROC12,PROC11,PROC10,PROC9,PROC8,PROC7,PROC6,PROC5,PROC4,PROC3,PROC2}
SORT cpo-activity-specification={AS1,AS19,AS18,AS17,AS16,AS15,AS14,AS13,AS12,AS11,AS10,AS9,AS8,AS7,AS6,AS5,AS4,AS3,AS2}
SORT cpo-action={ACT1,ACT49,ACT48,ACT47,ACT46,ACT45,ACT44,ACT43,ACT42,ACT41,ACT40,ACT39,ACT38,ACT37,ACT36,ACT35,ACT34,ACT33,ACT32,ACT31,ACT30,ACT29,ACT28,ACT27,ACT26,ACT25,ACT24,ACT23,ACT22,ACT21,ACT20,ACT19,ACT18,ACT17,ACT16,ACT15,ACT14,ACT13,ACT12,ACT11,ACT10,ACT9,ACT8,ACT7,ACT6,ACT5,ACT4,ACT3,ACT2}
SORT cpo-begin={BEG1,BEG19,BEG18,BEG17,BEG16,BEG15,BEG14,BEG13,BEG12,BEG11,BEG10,BEG9,BEG8,BEG7,BEG6,BEG5,BEG4,BEG3,BEG2}
SORT cpo-end={END1,END19,END18,END17,END16,END15,END14,END13,END12,END11,END10,END9,END8,END7,END6,END5,END4,END3,END2}
SORT cpo-timepoint={TP1,TP136,TP135,TP134,TP133,TP132,TP131,TP130,TP129,TP128,TP127,TP126,TP125,TP124,TP123,TP122,TP121,TP120,TP119,TP118,TP117,TP116,TP115,TP114,TP113,TP112,TP111,TP110,TP109,TP108,TP107,TP106,TP105,TP104,TP103,TP102,TP101,TP100,TP99,TP98,TP97,TP96,TP95,TP94,TP93,TP92,TP91,TP90,TP89,TP88,TP87,TP86,TP85,TP84,TP83,TP82,TP81,TP80,TP79,TP78,TP77,TP76,TP75,TP74,TP73,TP72,TP71,TP70,TP69,TP68,TP67,TP66,TP65,TP64,TP63,TP62,TP61,TP60,TP59,TP58,TP57,TP56,TP55,TP54,TP53,TP52,TP51,TP50,TP49,TP48,TP47,TP46,TP45,TP44,TP43,TP42,TP41,TP40,TP39,TP38,TP37,TP36,TP35,TP34,TP33,TP32,TP31,TP30,TP29,TP28,TP27,TP26,TP25,TP24,TP23,TP22,TP21,TP20,TP19,TP18,TP17,TP16,TP15,TP14,TP13,TP12,TP11,TP10,TP9,TP8,TP7,TP6,TP5,TP4,TP3,TP2}
SORT cpo-ordering-constraint={OC1,OC69,OC68,OC67,OC66,OC65,OC64,OC63,OC62,OC61,OC60,OC59,OC58,OC57,OC56,OC55,OC54,OC53,OC52,OC51,OC50,OC49,OC48,OC47,OC46,OC45,OC44,OC43,OC42,OC41,OC40,OC39,OC38,OC37,OC36,OC35,OC34,OC33,OC32,OC31,OC30,OC29,OC28,OC27,OC26,OC25,OC24,OC23,OC22,OC21,OC20,OC19,OC18,OC17,OC16,OC15,OC14,OC13,OC12,OC11,OC10,OC9,OC8,OC7,OC6,OC5,OC4,OC3,OC2}
SORT cpo-include-constraint={IC1,IC87,IC86,IC85,IC84,IC83,IC82,IC81,IC80,IC79,IC78,IC77,IC76,IC75,IC74,IC73,IC72,IC71,IC70,IC69,IC68,IC67,IC66,IC65,IC64,IC63,IC62,IC61,IC60,IC59,IC58,IC57,IC56,IC55,IC54,IC53,IC52,IC51,IC50,IC49,IC48,IC47,IC46,IC45,IC44,IC43,IC42,IC41,IC40,IC39,IC38,IC37,IC36,IC35,IC34,IC33,IC32,IC31,IC30,IC29,IC28,IC27,IC26,IC25,IC24,IC23,IC22,IC21,IC20,IC19,IC18,IC17,IC16,IC15,IC14,IC13,IC12,IC11,IC10,IC9,IC8,IC7,IC6,IC5,IC4,IC3,IC2}
// End of File
