blob: c25e9231a0d12b2ab9c4b791af8109a67189936c [file] [log] [blame]
<?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="petrinets" nsURI="petrinets2" nsPrefix="petrinets2">
<eClassifiers xsi:type="ecore:EClass" name="Net">
<eStructuralFeatures xsi:type="ecore:EReference" name="places" upperBound="-1"
eType="#//Place" containment="true" eOpposite="#//Place/net"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="transitions" upperBound="-1"
eType="#//Transition" containment="true" eOpposite="#//Transition/net"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="arcs" upperBound="-1" eType="#//Arc"
containment="true" eOpposite="#//Arc/net"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="Place">
<eStructuralFeatures xsi:type="ecore:EReference" name="net" lowerBound="1" eType="#//Net"
eOpposite="#//Net/places"/>
<eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="in" upperBound="-1" eType="#//TPArc"
eOpposite="#//TPArc/dst"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="out" upperBound="-1" eType="#//PTArc"
eOpposite="#//PTArc/src"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="Transition">
<eStructuralFeatures xsi:type="ecore:EReference" name="net" lowerBound="1" eType="#//Net"
eOpposite="#//Net/transitions"/>
<eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="in" lowerBound="1" upperBound="-1"
eType="#//PTArc" eOpposite="#//PTArc/dst"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="out" lowerBound="1" upperBound="-1"
eType="#//TPArc" eOpposite="#//TPArc/src"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="Arc" abstract="true">
<eStructuralFeatures xsi:type="ecore:EReference" name="net" lowerBound="1" eType="#//Net"
eOpposite="#//Net/arcs"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="PTArc" eSuperTypes="#//Arc">
<eStructuralFeatures xsi:type="ecore:EReference" name="src" lowerBound="1" eType="#//Place"
eOpposite="#//Place/out"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="dst" lowerBound="1" eType="#//Transition"
eOpposite="#//Transition/in"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="TPArc" eSuperTypes="#//Arc">
<eStructuralFeatures xsi:type="ecore:EReference" name="src" lowerBound="1" eType="#//Transition"
eOpposite="#//Transition/out"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="dst" lowerBound="1" eType="#//Place"
eOpposite="#//Place/in"/>
</eClassifiers>
</ecore:EPackage>