Permalink
Find file
Fetching contributors…
Cannot retrieve contributors at this time
42 lines (41 sloc) 2.57 KB
<?xml version="1.0" encoding="ISO-8859-1"?>
<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="PetriNet"
nsURI="PetriNetV3" nsPrefix="PetriNet">
<eClassifiers xsi:type="ecore:EClass" name="Place">
<eStructuralFeatures xsi:type="ecore:EReference" name="net" ordered="false" lowerBound="1"
eType="#//Net" eOpposite="#//Net/place"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="out" upperBound="-1" eType="#//PTArc"
eOpposite="#//PTArc/src"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="in" upperBound="-1" eType="#//TPArc"
eOpposite="#//TPArc/dst"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="Transition">
<eStructuralFeatures xsi:type="ecore:EReference" name="net" ordered="false" lowerBound="1"
eType="#//Net" eOpposite="#//Net/transition"/>
<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="Net">
<eStructuralFeatures xsi:type="ecore:EReference" name="place" lowerBound="1" upperBound="-1"
eType="#//Place" containment="true" eOpposite="#//Place/net"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="transition" lowerBound="1"
upperBound="-1" eType="#//Transition" containment="true" eOpposite="#//Transition/net"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="Arc" abstract="true"/>
<eClassifiers xsi:type="ecore:EClass" name="PTArc" eSuperTypes="#//Arc">
<eStructuralFeatures xsi:type="ecore:EReference" name="dst" ordered="false" lowerBound="1"
eType="#//Transition" eOpposite="#//Transition/in"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="src" ordered="false" lowerBound="1"
eType="#//Place" eOpposite="#//Place/out"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="TPArc" eSuperTypes="#//Arc">
<eStructuralFeatures xsi:type="ecore:EReference" name="src" ordered="false" lowerBound="1"
eType="#//Transition" eOpposite="#//Transition/out"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="dst" ordered="false" lowerBound="1"
eType="#//Place" eOpposite="#//Place/in"/>
</eClassifiers>
</ecore:EPackage>