2021-10-09 13:30:12 +00:00
|
|
|
<?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="petrinet" nsURI="http://petrinet" nsPrefix="petrinet">
|
|
|
|
|
<eClassifiers xsi:type="ecore:EClass" name="Network">
|
|
|
|
|
<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="nodes" upperBound="-1"
|
2021-10-13 16:34:12 +00:00
|
|
|
eType="#//Node" containment="true" eOpposite="#//Node/network"/>
|
2021-10-09 13:30:12 +00:00
|
|
|
</eClassifiers>
|
|
|
|
|
<eClassifiers xsi:type="ecore:EClass" name="Node" abstract="true">
|
|
|
|
|
<eStructuralFeatures xsi:type="ecore:EAttribute" name="name" lowerBound="1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
|
2021-10-13 16:34:12 +00:00
|
|
|
<eStructuralFeatures xsi:type="ecore:EReference" name="network" lowerBound="1"
|
|
|
|
|
eType="#//Network" eOpposite="#//Network/nodes"/>
|
2021-10-09 13:30:12 +00:00
|
|
|
</eClassifiers>
|
|
|
|
|
<eClassifiers xsi:type="ecore:EClass" name="Place" eSuperTypes="#//Node">
|
|
|
|
|
<eStructuralFeatures xsi:type="ecore:EAttribute" name="tokens" lowerBound="1"
|
|
|
|
|
eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/>
|
2021-10-13 16:34:12 +00:00
|
|
|
<eStructuralFeatures xsi:type="ecore:EReference" name="arcs" upperBound="-1" eType="#//Arc"
|
|
|
|
|
eOpposite="#//Arc/place"/>
|
2021-10-09 13:30:12 +00:00
|
|
|
</eClassifiers>
|
|
|
|
|
<eClassifiers xsi:type="ecore:EClass" name="Arc">
|
|
|
|
|
<eStructuralFeatures xsi:type="ecore:EAttribute" name="weight" lowerBound="1"
|
|
|
|
|
eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/>
|
|
|
|
|
<eStructuralFeatures xsi:type="ecore:EAttribute" name="outgoing" lowerBound="1"
|
|
|
|
|
eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/>
|
2021-10-13 16:34:12 +00:00
|
|
|
<eStructuralFeatures xsi:type="ecore:EReference" name="place" lowerBound="1" eType="#//Place"
|
|
|
|
|
eOpposite="#//Place/arcs"/>
|
|
|
|
|
<eStructuralFeatures xsi:type="ecore:EReference" name="transition" lowerBound="1"
|
|
|
|
|
eType="#//Transition" eOpposite="#//Transition/arcs"/>
|
2021-10-09 13:30:12 +00:00
|
|
|
</eClassifiers>
|
|
|
|
|
<eClassifiers xsi:type="ecore:EClass" name="Transition" eSuperTypes="#//Node">
|
|
|
|
|
<eStructuralFeatures xsi:type="ecore:EReference" name="arcs" upperBound="-1" eType="#//Arc"
|
2021-10-13 16:34:12 +00:00
|
|
|
containment="true" eOpposite="#//Arc/transition"/>
|
2021-10-09 13:30:12 +00:00
|
|
|
</eClassifiers>
|
|
|
|
|
</ecore:EPackage>
|
