-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathpn.ecore
25 lines (25 loc) · 1.79 KB
/
pn.ecore
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
<?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="PN" nsURI="http://github.com/NMFCode/Examples/PetriNet" nsPrefix="pn">
<eClassifiers xsi:type="ecore:EClass" name="Net">
<eStructuralFeatures xsi:type="ecore:EReference" name="places" lowerBound="1"
upperBound="-1" eType="#//Place" containment="true"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="transitions" upperBound="-1"
eType="#//Transition" containment="true"/>
<eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="Place">
<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="incoming" upperBound="-1"
eType="#//Transition" eOpposite="#//Transition/to"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="outgoing" upperBound="-1"
eType="#//Transition" eOpposite="#//Transition/from"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="Transition">
<eStructuralFeatures xsi:type="ecore:EAttribute" name="input" lowerBound="1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="from" upperBound="-1" eType="#//Place"
eOpposite="#//Place/outgoing"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="to" upperBound="-1" eType="#//Place"
eOpposite="#//Place/incoming"/>
</eClassifiers>
</ecore:EPackage>