Files

 master

/

pnml.ex1.xml

Copy path

Blame

Blame

Latest commit

 

History

History

64 lines (64 loc) · 1.75 KB

 master

/

pnml.ex1.xml

Top

File metadata and controls

• Code
• Blame

64 lines (64 loc) · 1.75 KB

Raw

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

26

27

28

29

30

31

32

33

34

35

36

37

38

39

40

41

42

43

44

45

46

47

48

49

50

51

52

53

54

55

56

57

58

59

60

61

62

63

64

<?xml version="1.0" encoding="utf-8"?>

<pnml xmlns="http://www.example.org/pnml">

<net id="n2" type="http://www.example.org/pnml/PTNet">

<page id="only">

<name>

<text>A simple one step petri net</text>

</name>

<place id="p1">

<name><text>p1</text></name>

<initialMarking><text>1</text></initialMarking>

</place>

<place id="p2">

<name><text>p2</text></name>

<initialMarking><text>0</text></initialMarking>

</place>

<transition id="t1"/>

<arc id="a1" source="p1" target="t1"/>

<arc id="a2" source="t1" target="p2"/>

</page>

</net>

<net id="n1" type="http://www.example.org/pnml/PTNet">

<page id="top-level">

<name>

<text>An example P/T-net</text>

</name>

<place id="p1">

<graphics>

<position x="20" y="20"/>

</graphics>

<name>

<text>ready</text>

<graphics>

<offset x="-10" y="-8"/>

</graphics>

</name>

<initialMarking>

<text>3</text>

<toolspecific tool="PN4all" version="0.1">

<tokenposition x="-2" y="-2" />

<tokenposition x="2" y="0" />

<tokenposition x="-2" y="2" />

</toolspecific>

</initialMarking>

</place>

<transition id="t1">

<graphics>

<position x="60" y="20"/>

</graphics>

</transition>

<arc id="a1" source="p1" target="t1">

<graphics>

<position x="30" y="5"/>

<position x="60" y="5"/>

</graphics>

<inscription>

<text>2</text>

<graphics>

<offset x="15" y="-2"/>

</graphics>

</inscription>

</arc>

</page>

</net>

</pnml>