~tapaal-red/verifypn/rule-l

« back to all changes in this revision

Viewing changes to test_models/deadlock-test013/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/deadlock-test013/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="105" y="120"/>

 

8

                </graphics>

 

9

                <name>

 

10

                    <graphics>

 

11

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

 

12

                    </graphics>

 

13

                    <text>P0</text>

 

14

                </name>

 

15

                <initialMarking>

 

16

                    <text>1</text>

 

17

                </initialMarking>

 

18

            </place>

 

19

            <place id="P1">

 

20

                <graphics>

 

21

                    <position x="405" y="225"/>

 

22

                </graphics>

 

23

                <name>

 

24

                    <graphics>

 

25

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

 

26

                    </graphics>

 

27

                    <text>P1</text>

 

28

                </name>

 

29

                <initialMarking>

 

30

                    <text>3</text>

 

31

                </initialMarking>

 

32

            </place>

 

33

            <transition id="T0">

 

34

                <name>

 

35

                    <graphics>

 

36

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

 

37

                    </graphics>

 

38

                    <text>T0</text>

 

39

                </name>

 

40

                <graphics>

 

41

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

 

42

                </graphics>

 

43

            </transition>

 

44

            <transition id="T1">

 

45

                <name>

 

46

                    <graphics>

 

47

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

 

48

                    </graphics>

 

49

                    <text>T1</text>

 

50

                </name>

 

51

                <graphics>

 

52

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

 

53

                </graphics>

 

54

            </transition>

 

55

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

 

56

                <graphics>

 

57

                    <position x="224" y="134"/>

 

58

                </graphics>

 

59

            </arc>

 

60

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

 

61

            <arc id="P0_to_T1" source="P0" target="T1" type="normal">

 

62

                <graphics>

 

63

                    <position x="74" y="269"/>

 

64

                </graphics>

 

65

            </arc>

 

66

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

 

67

                <graphics>

 

68

                    <position x="134" y="239"/>

 

69

                </graphics>

 

70

            </arc>

 

71

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

 

72

                <graphics>

 

73

                    <position x="284" y="359"/>

 

74

                </graphics>

 

75

            </arc>

 

76

            <arc id="T1_to_P0" source="T1" target="P0" type="normal">

 

77

                <graphics>

 

78

                    <position x="119" y="239"/>

 

79

                </graphics>

 

80

            </arc>

 

81

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

 

82

        </page>

 

83

        <name>

 

84

            <text>ComposedModel</text>

 

85

        </name>

 

86

    </net>

 

87

</pnml>

• Older »

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