trace
Trace
globalTrace
events
tracedObjects
staticObjectsPools
GlobalState
eventsTriggeredDuringState
place_tokens_States
StaticObjectsPools
pool_Transitions
pool_Nets
Events
EventOccurrence
stateDuringWhichTriggered
Events
Net_mainEntryEventOccurrence_Trace
Net_mainExitEventOccurrence_Trace
Net_runEntryEventOccurrence_Trace
Net_runExitEventOccurrence_Trace
Place_addTokenEntryEventOccurrence_Trace
Place_addTokenExitEventOccurrence_Trace
Place_removeTokenEntryEventOccurrence_Trace
Place_removeTokenExitEventOccurrence_Trace
Transition_isEnabledEntryEventOccurrence_Trace
Transition_isEnabledExitEventOccurrence_Trace
Transition_fireEntryEventOccurrence_Trace
Transition_fireExitEventOccurrence_Trace
Net_mainEntryEventOccurrence
thisParam
Net_mainExitEventOccurrence
correspondingEntryEvent
Net_runEntryEventOccurrence
thisParam
Net_runExitEventOccurrence
correspondingEntryEvent
Place_addTokenEntryEventOccurrence
thisParam
Place_addTokenExitEventOccurrence
correspondingEntryEvent
Place_removeTokenEntryEventOccurrence
thisParam
Place_removeTokenExitEventOccurrence
correspondingEntryEvent
Transition_isEnabledEntryEventOccurrence
thisParam
Transition_isEnabledExitEventOccurrence
correspondingEntryEvent
returnReturn
Transition_fireEntryEventOccurrence
thisParam
Transition_fireExitEventOccurrence
correspondingEntryEvent
States
Place_tokens_State
tokens
parent
globalStates
Traced
TracedObjects
petrinet_tracedPlaces
petrinet
TracedPlace
initialTokens
0
name
originalObject
tokensTrace
<?xml version="1.0" encoding="UTF-8"?>
<ecore:EPackage xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
    xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" name="trace" nsURI="trace" nsPrefix="">
  <eClassifiers xsi:type="ecore:EClass" name="Trace">
    <eStructuralFeatures xsi:type="ecore:EReference" name="globalTrace" upperBound="-1"
        eType="#//GlobalState" containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="events" lowerBound="1"
        eType="#//Events/Events" containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="tracedObjects" lowerBound="1"
        eType="#//Traced/TracedObjects" containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="staticObjectsPools" lowerBound="1"
        eType="#//StaticObjectsPools" containment="true"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="GlobalState">
    <eStructuralFeatures xsi:type="ecore:EReference" name="eventsTriggeredDuringState"
        upperBound="-1" eType="#//Events/EventOccurrence" eOpposite="#//Events/EventOccurrence/stateDuringWhichTriggered"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="place_tokens_States" ordered="false"
        upperBound="-1" eType="#//States/Place_tokens_State" eOpposite="#//States/Place_tokens_State/globalStates"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="StaticObjectsPools">
    <eStructuralFeatures xsi:type="ecore:EReference" name="pool_Transitions" upperBound="-1"
        eType="ecore:EClass ../model_inputs/petrinet.ecore#//Transition" containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="pool_Nets" upperBound="-1"
        eType="ecore:EClass ../model_inputs/petrinet.ecore#//Net" containment="true"/>
  </eClassifiers>
  <eSubpackages name="Events" nsURI="http://events/1.0" nsPrefix="events">
    <eClassifiers xsi:type="ecore:EClass" name="EventOccurrence" abstract="true">
      <eStructuralFeatures xsi:type="ecore:EReference" name="stateDuringWhichTriggered"
          lowerBound="1" eType="#//GlobalState" eOpposite="#//GlobalState/eventsTriggeredDuringState"/>
    </eClassifiers>
    <eClassifiers xsi:type="ecore:EClass" name="Events">
      <eStructuralFeatures xsi:type="ecore:EReference" name="Net_mainEntryEventOccurrence_Trace"
          upperBound="-1" eType="#//Events/Net_mainEntryEventOccurrence" containment="true"/>
      <eStructuralFeatures xsi:type="ecore:EReference" name="Net_mainExitEventOccurrence_Trace"
          upperBound="-1" eType="#//Events/Net_mainExitEventOccurrence" containment="true"/>
      <eStructuralFeatures xsi:type="ecore:EReference" name="Net_runEntryEventOccurrence_Trace"
          upperBound="-1" eType="#//Events/Net_runEntryEventOccurrence" containment="true"/>
      <eStructuralFeatures xsi:type="ecore:EReference" name="Net_runExitEventOccurrence_Trace"
          upperBound="-1" eType="#//Events/Net_runExitEventOccurrence" containment="true"/>
      <eStructuralFeatures xsi:type="ecore:EReference" name="Place_addTokenEntryEventOccurrence_Trace"
          upperBound="-1" eType="#//Events/Place_addTokenEntryEventOccurrence" containment="true"/>
      <eStructuralFeatures xsi:type="ecore:EReference" name="Place_addTokenExitEventOccurrence_Trace"
          upperBound="-1" eType="#//Events/Place_addTokenExitEventOccurrence" containment="true"/>
      <eStructuralFeatures xsi:type="ecore:EReference" name="Place_removeTokenEntryEventOccurrence_Trace"
          upperBound="-1" eType="#//Events/Place_removeTokenEntryEventOccurrence"
          containment="true"/>
      <eStructuralFeatures xsi:type="ecore:EReference" name="Place_removeTokenExitEventOccurrence_Trace"
          upperBound="-1" eType="#//Events/Place_removeTokenExitEventOccurrence" containment="true"/>
      <eStructuralFeatures xsi:type="ecore:EReference" name="Transition_isEnabledEntryEventOccurrence_Trace"
          upperBound="-1" eType="#//Events/Transition_isEnabledEntryEventOccurrence"
          containment="true"/>
      <eStructuralFeatures xsi:type="ecore:EReference" name="Transition_isEnabledExitEventOccurrence_Trace"
          upperBound="-1" eType="#//Events/Transition_isEnabledExitEventOccurrence"
          containment="true"/>
      <eStructuralFeatures xsi:type="ecore:EReference" name="Transition_fireEntryEventOccurrence_Trace"
          upperBound="-1" eType="#//Events/Transition_fireEntryEventOccurrence" containment="true"/>
      <eStructuralFeatures xsi:type="ecore:EReference" name="Transition_fireExitEventOccurrence_Trace"
          upperBound="-1" eType="#//Events/Transition_fireExitEventOccurrence" containment="true"/>
    </eClassifiers>
    <eClassifiers xsi:type="ecore:EClass" name="Net_mainEntryEventOccurrence" eSuperTypes="#//Events/EventOccurrence">
      <eStructuralFeatures xsi:type="ecore:EReference" name="thisParam" eType="ecore:EClass ../model_inputs/petrinet.ecore#//Net"/>
    </eClassifiers>
    <eClassifiers xsi:type="ecore:EClass" name="Net_mainExitEventOccurrence" eSuperTypes="#//Events/EventOccurrence">
      <eStructuralFeatures xsi:type="ecore:EReference" name="correspondingEntryEvent"
          eType="#//Events/Net_mainEntryEventOccurrence"/>
    </eClassifiers>
    <eClassifiers xsi:type="ecore:EClass" name="Net_runEntryEventOccurrence" eSuperTypes="#//Events/EventOccurrence">
      <eStructuralFeatures xsi:type="ecore:EReference" name="thisParam" eType="ecore:EClass ../model_inputs/petrinet.ecore#//Net"/>
    </eClassifiers>
    <eClassifiers xsi:type="ecore:EClass" name="Net_runExitEventOccurrence" eSuperTypes="#//Events/EventOccurrence">
      <eStructuralFeatures xsi:type="ecore:EReference" name="correspondingEntryEvent"
          eType="#//Events/Net_runEntryEventOccurrence"/>
    </eClassifiers>
    <eClassifiers xsi:type="ecore:EClass" name="Place_addTokenEntryEventOccurrence"
        eSuperTypes="#//Events/EventOccurrence">
      <eStructuralFeatures xsi:type="ecore:EReference" name="thisParam" eType="#//Traced/petrinet/TracedPlace"/>
    </eClassifiers>
    <eClassifiers xsi:type="ecore:EClass" name="Place_addTokenExitEventOccurrence"
        eSuperTypes="#//Events/EventOccurrence">
      <eStructuralFeatures xsi:type="ecore:EReference" name="correspondingEntryEvent"
          eType="#//Events/Place_addTokenEntryEventOccurrence"/>
    </eClassifiers>
    <eClassifiers xsi:type="ecore:EClass" name="Place_removeTokenEntryEventOccurrence"
        eSuperTypes="#//Events/EventOccurrence">
      <eStructuralFeatures xsi:type="ecore:EReference" name="thisParam" eType="#//Traced/petrinet/TracedPlace"/>
    </eClassifiers>
    <eClassifiers xsi:type="ecore:EClass" name="Place_removeTokenExitEventOccurrence"
        eSuperTypes="#//Events/EventOccurrence">
      <eStructuralFeatures xsi:type="ecore:EReference" name="correspondingEntryEvent"
          eType="#//Events/Place_removeTokenEntryEventOccurrence"/>
    </eClassifiers>
    <eClassifiers xsi:type="ecore:EClass" name="Transition_isEnabledEntryEventOccurrence"
        eSuperTypes="#//Events/EventOccurrence">
      <eStructuralFeatures xsi:type="ecore:EReference" name="thisParam" eType="ecore:EClass ../model_inputs/petrinet.ecore#//Transition"/>
    </eClassifiers>
    <eClassifiers xsi:type="ecore:EClass" name="Transition_isEnabledExitEventOccurrence"
        eSuperTypes="#//Events/EventOccurrence">
      <eStructuralFeatures xsi:type="ecore:EReference" name="correspondingEntryEvent"
          eType="#//Events/Transition_isEnabledEntryEventOccurrence"/>
      <eStructuralFeatures xsi:type="ecore:EReference" name="returnReturn" eType="ecore:EClass http://www.eclipse.org/emf/2002/Ecore#//EObject"/>
    </eClassifiers>
    <eClassifiers xsi:type="ecore:EClass" name="Transition_fireEntryEventOccurrence"
        eSuperTypes="#//Events/EventOccurrence">
      <eStructuralFeatures xsi:type="ecore:EReference" name="thisParam" eType="ecore:EClass ../model_inputs/petrinet.ecore#//Transition"/>
    </eClassifiers>
    <eClassifiers xsi:type="ecore:EClass" name="Transition_fireExitEventOccurrence"
        eSuperTypes="#//Events/EventOccurrence">
      <eStructuralFeatures xsi:type="ecore:EReference" name="correspondingEntryEvent"
          eType="#//Events/Transition_fireEntryEventOccurrence"/>
    </eClassifiers>
  </eSubpackages>
  <eSubpackages name="States" nsURI="http://states/1.0" nsPrefix="states">
    <eClassifiers xsi:type="ecore:EClass" name="Place_tokens_State">
      <eStructuralFeatures xsi:type="ecore:EAttribute" name="tokens" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/>
      <eStructuralFeatures xsi:type="ecore:EReference" name="parent" lowerBound="1"
          eType="#//Traced/petrinet/TracedPlace" eOpposite="#//Traced/petrinet/TracedPlace/tokensTrace"/>
      <eStructuralFeatures xsi:type="ecore:EReference" name="globalStates" lowerBound="1"
          upperBound="-1" eType="#//GlobalState" eOpposite="#//GlobalState/place_tokens_States"/>
    </eClassifiers>
  </eSubpackages>
  <eSubpackages name="Traced" nsURI="http://tracedclasses/1.0" nsPrefix="tracedclasses">
    <eClassifiers xsi:type="ecore:EClass" name="TracedObjects">
      <eStructuralFeatures xsi:type="ecore:EReference" name="petrinet_tracedPlaces"
          ordered="false" upperBound="-1" eType="#//Traced/petrinet/TracedPlace" containment="true"/>
    </eClassifiers>
    <eSubpackages name="petrinet" nsURI="petrinet" nsPrefix="">
      <eClassifiers xsi:type="ecore:EClass" name="TracedPlace">
        <eStructuralFeatures xsi:type="ecore:EAttribute" name="initialTokens" lowerBound="1"
            eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt" defaultValueLiteral="0"/>
        <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" lowerBound="1"
            eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
        <eStructuralFeatures xsi:type="ecore:EReference" name="originalObject" eType="ecore:EClass ../model_inputs/petrinet.ecore#//Place"/>
        <eStructuralFeatures xsi:type="ecore:EReference" name="tokensTrace" upperBound="-1"
            eType="#//States/Place_tokens_State" containment="true" eOpposite="#//States/Place_tokens_State/parent"/>
      </eClassifiers>
    </eSubpackages>
  </eSubpackages>
</ecore:EPackage>

{"directed":true,"nodes":[{"nsPrefix":"","nsURI":"trace","name":"trace","id":0,"eClass":"EPackage"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Trace","instanceClass":null,"abstract":false,"id":1,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"GlobalState","instanceClass":null,"abstract":false,"id":2,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"StaticObjectsPools","instanceClass":null,"abstract":false,"id":3,"interface":false,"eClass":"EClass"},{"nsPrefix":"events","nsURI":"http://events/1.0","name":"Events","id":4,"eClass":"EPackage"},{"nsPrefix":"states","nsURI":"http://states/1.0","name":"States","id":5,"eClass":"EPackage"},{"nsPrefix":"tracedclasses","nsURI":"http://tracedclasses/1.0","name":"Traced","id":6,"eClass":"EPackage"},{"container":false,"ordered":true,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"globalTrace","changeable":true,"resolveProxies":true,"lowerBound":0,"id":7,"derived":false},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"events","changeable":true,"resolveProxies":true,"lowerBound":1,"id":8,"derived":false},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"tracedObjects","changeable":true,"resolveProxies":true,"lowerBound":1,"id":9,"derived":false},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"staticObjectsPools","changeable":true,"resolveProxies":true,"lowerBound":1,"id":10,"derived":false},{"id":11,"eClass":"EGenericType"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Events","instanceClass":null,"abstract":false,"id":12,"interface":false,"eClass":"EClass"},{"id":13,"eClass":"EGenericType"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"TracedObjects","instanceClass":null,"abstract":false,"id":14,"interface":false,"eClass":"EClass"},{"id":15,"eClass":"EGenericType"},{"id":16,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"eventsTriggeredDuringState","changeable":true,"resolveProxies":true,"lowerBound":0,"id":17,"derived":false},{"container":false,"ordered":false,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"place_tokens_States","changeable":true,"resolveProxies":true,"lowerBound":0,"id":18,"derived":false},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"EventOccurrence","instanceClass":null,"abstract":true,"id":19,"interface":false,"eClass":"EClass"},{"id":20,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"stateDuringWhichTriggered","changeable":true,"resolveProxies":true,"lowerBound":1,"id":21,"derived":false},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Place_tokens_State","instanceClass":null,"abstract":false,"id":22,"interface":false,"eClass":"EClass"},{"id":23,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"globalStates","changeable":true,"resolveProxies":true,"lowerBound":1,"id":24,"derived":false},{"container":false,"ordered":true,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"pool_Transitions","changeable":true,"resolveProxies":true,"lowerBound":0,"id":25,"derived":false},{"container":false,"ordered":true,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"pool_Nets","changeable":true,"resolveProxies":true,"lowerBound":0,"id":26,"derived":false},{"id":27,"eClass":"EGenericType"},{"id":28,"eClass":"EGenericType"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Net_mainEntryEventOccurrence","instanceClass":null,"abstract":false,"id":29,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Net_mainExitEventOccurrence","instanceClass":null,"abstract":false,"id":30,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Net_runEntryEventOccurrence","instanceClass":null,"abstract":false,"id":31,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Net_runExitEventOccurrence","instanceClass":null,"abstract":false,"id":32,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Place_addTokenEntryEventOccurrence","instanceClass":null,"abstract":false,"id":33,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Place_addTokenExitEventOccurrence","instanceClass":null,"abstract":false,"id":34,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Place_removeTokenEntryEventOccurrence","instanceClass":null,"abstract":false,"id":35,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Place_removeTokenExitEventOccurrence","instanceClass":null,"abstract":false,"id":36,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Transition_isEnabledEntryEventOccurrence","instanceClass":null,"abstract":false,"id":37,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Transition_isEnabledExitEventOccurrence","instanceClass":null,"abstract":false,"id":38,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Transition_fireEntryEventOccurrence","instanceClass":null,"abstract":false,"id":39,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Transition_fireExitEventOccurrence","instanceClass":null,"abstract":false,"id":40,"interface":false,"eClass":"EClass"},{"id":41,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"Net_mainEntryEventOccurrence_Trace","changeable":true,"resolveProxies":true,"lowerBound":0,"id":42,"derived":false},{"container":false,"ordered":true,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"Net_mainExitEventOccurrence_Trace","changeable":true,"resolveProxies":true,"lowerBound":0,"id":43,"derived":false},{"container":false,"ordered":true,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"Net_runEntryEventOccurrence_Trace","changeable":true,"resolveProxies":true,"lowerBound":0,"id":44,"derived":false},{"container":false,"ordered":true,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"Net_runExitEventOccurrence_Trace","changeable":true,"resolveProxies":true,"lowerBound":0,"id":45,"derived":false},{"container":false,"ordered":true,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"Place_addTokenEntryEventOccurrence_Trace","changeable":true,"resolveProxies":true,"lowerBound":0,"id":46,"derived":false},{"container":false,"ordered":true,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"Place_addTokenExitEventOccurrence_Trace","changeable":true,"resolveProxies":true,"lowerBound":0,"id":47,"derived":false},{"container":false,"ordered":true,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"Place_removeTokenEntryEventOccurrence_Trace","changeable":true,"resolveProxies":true,"lowerBound":0,"id":48,"derived":false},{"container":false,"ordered":true,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"Place_removeTokenExitEventOccurrence_Trace","changeable":true,"resolveProxies":true,"lowerBound":0,"id":49,"derived":false},{"container":false,"ordered":true,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"Transition_isEnabledEntryEventOccurrence_Trace","changeable":true,"resolveProxies":true,"lowerBound":0,"id":50,"derived":false},{"container":false,"ordered":true,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"Transition_isEnabledExitEventOccurrence_Trace","changeable":true,"resolveProxies":true,"lowerBound":0,"id":51,"derived":false},{"container":false,"ordered":true,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"Transition_fireEntryEventOccurrence_Trace","changeable":true,"resolveProxies":true,"lowerBound":0,"id":52,"derived":false},{"container":false,"ordered":true,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"Transition_fireExitEventOccurrence_Trace","changeable":true,"resolveProxies":true,"lowerBound":0,"id":53,"derived":false},{"id":54,"eClass":"EGenericType"},{"id":55,"eClass":"EGenericType"},{"id":56,"eClass":"EGenericType"},{"id":57,"eClass":"EGenericType"},{"id":58,"eClass":"EGenericType"},{"id":59,"eClass":"EGenericType"},{"id":60,"eClass":"EGenericType"},{"id":61,"eClass":"EGenericType"},{"id":62,"eClass":"EGenericType"},{"id":63,"eClass":"EGenericType"},{"id":64,"eClass":"EGenericType"},{"id":65,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"thisParam","changeable":true,"resolveProxies":true,"lowerBound":0,"id":66,"derived":false},{"id":67,"eClass":"EGenericType"},{"id":68,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"correspondingEntryEvent","changeable":true,"resolveProxies":true,"lowerBound":0,"id":69,"derived":false},{"id":70,"eClass":"EGenericType"},{"id":71,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"thisParam","changeable":true,"resolveProxies":true,"lowerBound":0,"id":72,"derived":false},{"id":73,"eClass":"EGenericType"},{"id":74,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"correspondingEntryEvent","changeable":true,"resolveProxies":true,"lowerBound":0,"id":75,"derived":false},{"id":76,"eClass":"EGenericType"},{"id":77,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"thisParam","changeable":true,"resolveProxies":true,"lowerBound":0,"id":78,"derived":false},{"id":79,"eClass":"EGenericType"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"TracedPlace","instanceClass":null,"abstract":false,"id":80,"interface":false,"eClass":"EClass"},{"id":81,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"correspondingEntryEvent","changeable":true,"resolveProxies":true,"lowerBound":0,"id":82,"derived":false},{"id":83,"eClass":"EGenericType"},{"id":84,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"thisParam","changeable":true,"resolveProxies":true,"lowerBound":0,"id":85,"derived":false},{"id":86,"eClass":"EGenericType"},{"id":87,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"correspondingEntryEvent","changeable":true,"resolveProxies":true,"lowerBound":0,"id":88,"derived":false},{"id":89,"eClass":"EGenericType"},{"id":90,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"thisParam","changeable":true,"resolveProxies":true,"lowerBound":0,"id":91,"derived":false},{"id":92,"eClass":"EGenericType"},{"id":93,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"correspondingEntryEvent","changeable":true,"resolveProxies":true,"lowerBound":0,"id":94,"derived":false},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"returnReturn","changeable":true,"resolveProxies":true,"lowerBound":0,"id":95,"derived":false},{"id":96,"eClass":"EGenericType"},{"id":97,"eClass":"EGenericType"},{"id":98,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"thisParam","changeable":true,"resolveProxies":true,"lowerBound":0,"id":99,"derived":false},{"id":100,"eClass":"EGenericType"},{"id":101,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"correspondingEntryEvent","changeable":true,"resolveProxies":true,"lowerBound":0,"id":102,"derived":false},{"id":103,"eClass":"EGenericType"},{"id":104,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"defaultValue":0,"volatile":false,"many":false,"required":false,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":true,"name":"tokens","changeable":true,"lowerBound":0,"iD":false,"id":105,"derived":false},{"container":true,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"parent","changeable":true,"resolveProxies":true,"lowerBound":1,"id":106,"derived":false},{"id":107,"eClass":"EGenericType"},{"id":108,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"tokensTrace","changeable":true,"resolveProxies":true,"lowerBound":0,"id":109,"derived":false},{"id":110,"eClass":"EGenericType"},{"nsPrefix":"","nsURI":"petrinet","name":"petrinet","id":111,"eClass":"EPackage"},{"container":false,"ordered":false,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"petrinet_tracedPlaces","changeable":true,"resolveProxies":true,"lowerBound":0,"id":112,"derived":false},{"id":113,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"defaultValue":0,"volatile":false,"many":false,"required":true,"eClass":"EAttribute","defaultValueLiteral":"0","unsettable":false,"transient":false,"unique":true,"name":"initialTokens","changeable":true,"lowerBound":1,"iD":false,"id":114,"derived":false},{"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":true,"name":"name","changeable":true,"lowerBound":1,"iD":false,"id":115,"derived":false},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"originalObject","changeable":true,"resolveProxies":true,"lowerBound":0,"id":116,"derived":false},{"id":117,"eClass":"EGenericType"},{"id":118,"eClass":"EGenericType"},{"id":119,"eClass":"EGenericType"},{"id":120,"eClass":"EGenericType"}],"links":[{"source":0,"target":1},{"source":0,"target":2},{"source":0,"target":3},{"source":0,"target":4},{"source":0,"target":5},{"source":0,"target":6},{"source":1,"target":0},{"source":1,"target":7},{"source":1,"target":8},{"source":1,"target":9},{"source":1,"target":10},{"source":7,"target":2},{"source":7,"target":11},{"source":7,"target":1},{"source":11,"target":2},{"source":8,"target":12},{"source":8,"target":13},{"source":8,"target":1},{"source":13,"target":12},{"source":9,"target":14},{"source":9,"target":15},{"source":9,"target":1},{"source":15,"target":14},{"source":10,"target":3},{"source":10,"target":16},{"source":10,"target":1},{"source":16,"target":3},{"source":2,"target":0},{"source":2,"target":17},{"source":2,"target":18},{"source":17,"target":19},{"source":17,"target":20},{"source":17,"target":2},{"source":17,"target":21},{"source":20,"target":19},{"source":18,"target":22},{"source":18,"target":23},{"source":18,"target":2},{"source":18,"target":24},{"source":23,"target":22},{"source":3,"target":0},{"source":3,"target":25},{"source":3,"target":26},{"source":25,"target":27},{"source":25,"target":3},{"source":26,"target":28},{"source":26,"target":3},{"source":4,"target":19},{"source":4,"target":12},{"source":4,"target":29},{"source":4,"target":30},{"source":4,"target":31},{"source":4,"target":32},{"source":4,"target":33},{"source":4,"target":34},{"source":4,"target":35},{"source":4,"target":36},{"source":4,"target":37},{"source":4,"target":38},{"source":4,"target":39},{"source":4,"target":40},{"source":4,"target":0},{"source":19,"target":4},{"source":19,"target":21},{"source":21,"target":2},{"source":21,"target":41},{"source":21,"target":19},{"source":21,"target":17},{"source":41,"target":2},{"source":12,"target":4},{"source":12,"target":42},{"source":12,"target":43},{"source":12,"target":44},{"source":12,"target":45},{"source":12,"target":46},{"source":12,"target":47},{"source":12,"target":48},{"source":12,"target":49},{"source":12,"target":50},{"source":12,"target":51},{"source":12,"target":52},{"source":12,"target":53},{"source":42,"target":29},{"source":42,"target":54},{"source":42,"target":12},{"source":54,"target":29},{"source":43,"target":30},{"source":43,"target":55},{"source":43,"target":12},{"source":55,"target":30},{"source":44,"target":31},{"source":44,"target":56},{"source":44,"target":12},{"source":56,"target":31},{"source":45,"target":32},{"source":45,"target":57},{"source":45,"target":12},{"source":57,"target":32},{"source":46,"target":33},{"source":46,"target":58},{"source":46,"target":12},{"source":58,"target":33},{"source":47,"target":34},{"source":47,"target":59},{"source":47,"target":12},{"source":59,"target":34},{"source":48,"target":35},{"source":48,"target":60},{"source":48,"target":12},{"source":60,"target":35},{"source":49,"target":36},{"source":49,"target":61},{"source":49,"target":12},{"source":61,"target":36},{"source":50,"target":37},{"source":50,"target":62},{"source":50,"target":12},{"source":62,"target":37},{"source":51,"target":38},{"source":51,"target":63},{"source":51,"target":12},{"source":63,"target":38},{"source":52,"target":39},{"source":52,"target":64},{"source":52,"target":12},{"source":64,"target":39},{"source":53,"target":40},{"source":53,"target":65},{"source":53,"target":12},{"source":65,"target":40},{"source":29,"target":4},{"source":29,"target":19},{"source":29,"target":66},{"source":29,"target":67},{"source":66,"target":68},{"source":66,"target":29},{"source":67,"target":19},{"source":30,"target":4},{"source":30,"target":19},{"source":30,"target":69},{"source":30,"target":70},{"source":69,"target":29},{"source":69,"target":71},{"source":69,"target":30},{"source":71,"target":29},{"source":70,"target":19},{"source":31,"target":4},{"source":31,"target":19},{"source":31,"target":72},{"source":31,"target":73},{"source":72,"target":74},{"source":72,"target":31},{"source":73,"target":19},{"source":32,"target":4},{"source":32,"target":19},{"source":32,"target":75},{"source":32,"target":76},{"source":75,"target":31},{"source":75,"target":77},{"source":75,"target":32},{"source":77,"target":31},{"source":76,"target":19},{"source":33,"target":4},{"source":33,"target":19},{"source":33,"target":78},{"source":33,"target":79},{"source":78,"target":80},{"source":78,"target":81},{"source":78,"target":33},{"source":81,"target":80},{"source":79,"target":19},{"source":34,"target":4},{"source":34,"target":19},{"source":34,"target":82},{"source":34,"target":83},{"source":82,"target":33},{"source":82,"target":84},{"source":82,"target":34},{"source":84,"target":33},{"source":83,"target":19},{"source":35,"target":4},{"source":35,"target":19},{"source":35,"target":85},{"source":35,"target":86},{"source":85,"target":80},{"source":85,"target":87},{"source":85,"target":35},{"source":87,"target":80},{"source":86,"target":19},{"source":36,"target":4},{"source":36,"target":19},{"source":36,"target":88},{"source":36,"target":89},{"source":88,"target":35},{"source":88,"target":90},{"source":88,"target":36},{"source":90,"target":35},{"source":89,"target":19},{"source":37,"target":4},{"source":37,"target":19},{"source":37,"target":91},{"source":37,"target":92},{"source":91,"target":93},{"source":91,"target":37},{"source":92,"target":19},{"source":38,"target":4},{"source":38,"target":19},{"source":38,"target":94},{"source":38,"target":95},{"source":38,"target":96},{"source":94,"target":37},{"source":94,"target":97},{"source":94,"target":38},{"source":97,"target":37},{"source":95,"target":98},{"source":95,"target":38},{"source":96,"target":19},{"source":39,"target":4},{"source":39,"target":19},{"source":39,"target":99},{"source":39,"target":100},{"source":99,"target":101},{"source":99,"target":39},{"source":100,"target":19},{"source":40,"target":4},{"source":40,"target":19},{"source":40,"target":102},{"source":40,"target":103},{"source":102,"target":39},{"source":102,"target":104},{"source":102,"target":40},{"source":104,"target":39},{"source":103,"target":19},{"source":5,"target":22},{"source":5,"target":0},{"source":22,"target":5},{"source":22,"target":105},{"source":22,"target":106},{"source":22,"target":24},{"source":105,"target":107},{"source":105,"target":22},{"source":106,"target":80},{"source":106,"target":108},{"source":106,"target":22},{"source":106,"target":109},{"source":108,"target":80},{"source":24,"target":2},{"source":24,"target":110},{"source":24,"target":22},{"source":24,"target":18},{"source":110,"target":2},{"source":6,"target":14},{"source":6,"target":111},{"source":6,"target":0},{"source":14,"target":6},{"source":14,"target":112},{"source":112,"target":80},{"source":112,"target":113},{"source":112,"target":14},{"source":113,"target":80},{"source":111,"target":80},{"source":111,"target":6},{"source":80,"target":111},{"source":80,"target":114},{"source":80,"target":115},{"source":80,"target":116},{"source":80,"target":109},{"source":114,"target":117},{"source":114,"target":80},{"source":115,"target":118},{"source":115,"target":80},{"source":116,"target":119},{"source":116,"target":80},{"source":109,"target":22},{"source":109,"target":120},{"source":109,"target":80},{"source":109,"target":106},{"source":120,"target":22}],"multigraph":true}