~tapaal-ltl/verifypn/rule-D-fix

« back to all changes in this revision

Viewing changes to test_models/trace-test003/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/trace-test003/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="P0">

 

6

                <graphics>

 

7

                    <position x="210" y="255"/>

 

8

                </graphics>

 

9

                <name>

 

10

                    <graphics>

 

11

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

 

12

                    </graphics>

 

13

                    <text>P0</text>

 

14

                </name>

 

15

                <initialMarking>

 

16

                    <text>0</text>

 

17

                </initialMarking>

 

18

            </place>

 

19

            <place id="P1">

 

20

                <graphics>

 

21

                    <position x="330" y="240"/>

 

22

                </graphics>

 

23

                <name>

 

24

                    <graphics>

 

25

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

 

26

                    </graphics>

 

27

                    <text>P1</text>

 

28

                </name>

 

29

                <initialMarking>

 

30

                    <text>0</text>

 

31

                </initialMarking>

 

32

            </place>

 

33

            <place id="P3">

 

34

                <graphics>

 

35

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

 

36

                </graphics>

 

37

                <name>

 

38

                    <graphics>

 

39

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

 

40

                    </graphics>

 

41

                    <text>P3</text>

 

42

                </name>

 

43

                <initialMarking>

 

44

                    <text>1</text>

 

45

                </initialMarking>

 

46

            </place>

 

47

            <transition id="T0">

 

48

                <name>

 

49

                    <graphics>

 

50

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

 

51

                    </graphics>

 

52

                    <text>T0</text>

 

53

                </name>

 

54

                <graphics>

 

55

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

 

56

                </graphics>

 

57

            </transition>

 

58

            <transition id="T2">

 

59

                <name>

 

60

                    <graphics>

 

61

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

 

62

                    </graphics>

 

63

                    <text>T2</text>

 

64

                </name>

 

65

                <graphics>

 

66

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

 

67

                </graphics>

 

68

            </transition>

 

69

            <transition id="T3">

 

70

                <name>

 

71

                    <graphics>

 

72

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

 

73

                    </graphics>

 

74

                    <text>T3</text>

 

75

                </name>

 

76

                <graphics>

 

77

                    <position x="120" y="255"/>

 

78

                </graphics>

 

79

            </transition>

 

80

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

 

81

            <arc id="P1_to_T2" source="P1" target="T2" type="normal"/>

 

82

            <arc id="T0_to_P1" source="T0" target="P1" type="normal"/>

 

83

            <arc id="T2_to_P0" source="T2" target="P0" type="normal"/>

 

84

            <arc id="P3_to_T3" source="P3" target="T3" type="normal"/>

 

85

            <arc id="T3_to_P0" source="T3" target="P0" type="normal"/>

 

86

        </page>

 

87

        <name>

 

88

            <text>ComposedModel</text>

 

89

        </name>

 

90

    </net>

 

91

</pnml>

• Older »

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