| <?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> |
