-
Notifications
You must be signed in to change notification settings - Fork 0
/
pn.nmf
18 lines (18 loc) · 1.86 KB
/
pn.nmf
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
<?xml version="1.0" encoding="utf-8"?>
<nmeta:Namespace xmi:version="2.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" Uri="http://github.com/NMFCode/Examples/PetriNet" Prefix="pn" Name="PN" xmlns:xmi="http://www.omg.org/XMI" xmlns:nmeta="http://nmf.codeplex.com/nmeta/">
<Types xsi:type="nmeta:Class" IdentifierScope="Local" Identifier="#//Net/name" Name="Net">
<References IsContainment="true" ReferenceType="nmeta:Class #//Place" IsOrdered="true" IsUnique="true" LowerBound="1" UpperBound="-1" Name="places" />
<References IsContainment="true" ReferenceType="nmeta:Class #//Transition" IsOrdered="true" IsUnique="true" UpperBound="-1" Name="transitions" />
<Attributes IsOrdered="true" IsUnique="true" Type="nmeta:PrimitiveType http://nmf.codeplex.com/nmeta/#//String" Name="name" />
</Types>
<Types xsi:type="nmeta:Class" IdentifierScope="Local" Identifier="#//Place/name" Name="Place">
<References Opposite="#//Transition/to" ReferenceType="nmeta:Class #//Transition" IsOrdered="true" IsUnique="true" UpperBound="-1" Name="incoming" />
<References Opposite="#//Transition/from" ReferenceType="nmeta:Class #//Transition" IsOrdered="true" IsUnique="true" UpperBound="-1" Name="outgoing" />
<Attributes IsOrdered="true" IsUnique="true" LowerBound="1" Type="nmeta:PrimitiveType http://nmf.codeplex.com/nmeta/#//String" Name="name" />
</Types>
<Types xsi:type="nmeta:Class" Name="Transition">
<References Opposite="#//Place/outgoing" ReferenceType="nmeta:Class #//Place" IsOrdered="true" IsUnique="true" UpperBound="-1" Name="from" />
<References Opposite="#//Place/incoming" ReferenceType="nmeta:Class #//Place" IsOrdered="true" IsUnique="true" UpperBound="-1" Name="to" />
<Attributes IsOrdered="true" IsUnique="true" LowerBound="1" Type="nmeta:PrimitiveType http://nmf.codeplex.com/nmeta/#//String" Name="input" />
</Types>
</nmeta:Namespace>