~tapaal-red/verifypn/rule-l

« back to all changes in this revision

Viewing changes to test_models/query-test005/model.pnml

• browse files at revision 213.1.141
• compare with another revision
• download diff
• download tarball
• view history from revision 213.1.141

Show diffs side-by-side

added

removed

test_models/query-test005/model.pnml

 

1

<?xml version="1.0" encoding="UTF-8" standalone="no"?>

 

2

<pnml xmlns="http://www.pnml.org/version-2009/grammar/pnml">

 

3

    <net id="ComposedModel" type="http://www.pnml.org/version-2009/grammar/ptnet">

 

4

        <page id="page0">

 

5

            <place id="Sum">

 

6

                <graphics>

 

7

                    <position x="420" y="480"/>

 

8

                </graphics>

 

9

                <name>

 

10

                    <graphics>

 

11

                        <offset x="-5" y="35"/>

 

12

                    </graphics>

 

13

                    <text>Sum</text>

 

14

                </name>

 

15

                <initialMarking>

 

16

                    <text>0</text>

 

17

                </initialMarking>

 

18

            </place>

 

19

            <place id="P2">

 

20

                <graphics>

 

21

                    <position x="660" y="270"/>

 

22

                </graphics>

 

23

                <name>

 

24

                    <graphics>

 

25

                        <offset x="-5" y="35"/>

 

26

                    </graphics>

 

27

                    <text>P2</text>

 

28

                </name>

 

29

                <initialMarking>

 

30

                    <text>4</text>

 

31

                </initialMarking>

 

32

            </place>

 

33

            <place id="P1">

 

34

                <graphics>

 

35

                    <position x="420" y="270"/>

 

36

                </graphics>

 

37

                <name>

 

38

                    <graphics>

 

39

                        <offset x="-5" y="35"/>

 

40

                    </graphics>

 

41

                    <text>P1</text>

 

42

                </name>

 

43

                <initialMarking>

 

44

                    <text>3</text>

 

45

                </initialMarking>

 

46

            </place>

 

47

            <place id="P0">

 

48

                <graphics>

 

49

                    <position x="150" y="270"/>

 

50

                </graphics>

 

51

                <name>

 

52

                    <graphics>

 

53

                        <offset x="-5" y="35"/>

 

54

                    </graphics>

 

55

                    <text>P0</text>

 

56

                </name>

 

57

                <initialMarking>

 

58

                    <text>2</text>

 

59

                </initialMarking>

 

60

            </place>

 

61

            <transition id="T2">

 

62

                <name>

 

63

                    <graphics>

 

64

                        <offset x="-5" y="35"/>

 

65

                    </graphics>

 

66

                    <text>T2</text>

 

67

                </name>

 

68

                <graphics>

 

69

                    <position x="570" y="390"/>

 

70

                </graphics>

 

71

            </transition>

 

72

            <transition id="T1">

 

73

                <name>

 

74

                    <graphics>

 

75

                        <offset x="-5" y="35"/>

 

76

                    </graphics>

 

77

                    <text>T1</text>

 

78

                </name>

 

79

                <graphics>

 

80

                    <position x="420" y="390"/>

 

81

                </graphics>

 

82

            </transition>

 

83

            <transition id="T0">

 

84

                <name>

 

85

                    <graphics>

 

86

                        <offset x="-5" y="35"/>

 

87

                    </graphics>

 

88

                    <text>T0</text>

 

89

                </name>

 

90

                <graphics>

 

91

                    <position x="270" y="390"/>

 

92

                </graphics>

 

93

            </transition>

 

94

            <arc id="P2_to_T2" source="P2" target="T2" type="normal"/>

 

95

            <arc id="P1_to_T1" source="P1" target="T1" type="normal"/>

 

96

            <arc id="P0_to_T0" source="P0" target="T0" type="normal"/>

 

97

            <arc id="T2_to_Sum" source="T2" target="Sum" type="normal"/>

 

98

            <arc id="T1_to_Sum" source="T1" target="Sum" type="normal"/>

 

99

            <arc id="T0_to_Sum" source="T0" target="Sum" type="normal"/>

 

100

        </page>

 

101

        <name>

 

102

            <text>ComposedModel</text>

 

103

        </name>

 

104

    </net>

 

105

</pnml>

• Older »

Loggerhead is a web-based interface for Breezy
Version: 2.0.1