-
Notifications
You must be signed in to change notification settings - Fork 0
/
PetriNet 20.launch
20 lines (20 loc) · 1.73 KB
/
PetriNet 20.launch
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<launchConfiguration type="org.epsilon.emg.eclipse.dt.launching.EmgLaunchConfigurationDelegate">
<booleanAttribute key="fine_grained_profiling" value="false"/>
<intAttribute key="maxLoops" value="-1"/>
<listAttribute key="models">
<listEntry value="isMetamodelFileBased=true name=petrinet readOnLoad=false storeOnDisposal=true aliases= cached=true fileBasedMetamodelUri=platform\:/resource/org.eclipse.epsilon.examples.emg.petrinet/model/PetriNet.ecore metamodelUri= modelUri=platform\:/resource/org.eclipse.epsilon.examples.emg.petrinet/model/PetriNet20.xmi reuseUnmodifiedFileBasedMetamodels=true type=EMF modelFile=/org.eclipse.epsilon.examples.emg.petrinet/model/PetriNet20.xmi expand=true metamodelFile=/org.eclipse.epsilon.examples.emg.petrinet/model/PetriNet.ecore"/>
</listAttribute>
<listAttribute key="parameters">
<listEntry value="name=nouns type=String value=Person,Bus,Cow,Plane,Duck,Ship,Chair"/>
<listEntry value="name=places type=String value=Waiting,Arrving,Walking,Diving,Singing,Drifting,Spinning"/>
<listEntry value="name=transitions type=String value=Moves,Stops,Leaves,Sits,Levels,Stares,Docks,Departs,Breaks,Dissapears"/>
<listEntry value="name=total type=Integer value=20"/>
</listAttribute>
<booleanAttribute key="profile_model_loading" value="false"/>
<booleanAttribute key="profiling_enabled" value="false"/>
<booleanAttribute key="repeatWhileMatchesFound" value="false"/>
<booleanAttribute key="reset_profiler" value="false"/>
<stringAttribute key="source" value="/org.eclipse.epsilon.examples.emg.petrinet/scripts/PetriNet.emg"/>
<booleanAttribute key="useSeed" value="false"/>
</launchConfiguration>