IoTa-pub

|NET

|2:Dinner_unfold

|SPECIFICATION ST_Specification

|firingRule

|

;

|name

|

;

|PLACES

|fork1 1

|MARKING

|1

;

|name

|fork1

;

|Initial Marking

|1

;

;

|fork2 2

|MARKING

|1

;

|name

|fork2

;

|Initial Marking

|1

;

;

|fork3 3

|MARKING

|1

;

|name

|fork3

;

|Initial Marking

|1

;

;

|fork4 4

|MARKING

|1

;

|name

|fork4

;

|Initial Marking

|1

;

;

|fork5 5

|MARKING

|1

;

|name

|fork5

;

|Initial Marking

|1

;

;

|phil1_has_left 6

|MARKING

|0

;

|name

|phil1_has_left

;

|Initial Marking

|0

;

;

|phil2_has_left 7

|MARKING

|0

;

|name

|phil2_has_left

;

|Initial Marking

|0

;

;

|phil3_has_left 8

|MARKING

|0

;

|name

|phil3_has_left

;

|Initial Marking

|0

;

;

|phil4_has_left 9

|MARKING

|0

;

|name

|phil4_has_left

;

|Initial Marking

|0

;

;

|phil5_has_left 10

|MARKING

|0

;

|name

|phil5_has_left

;

|Initial Marking

|0

;

;

|phil1_has_right 11

|MARKING

|0

;

|name

|phil1_has_right

;

|Initial Marking

|0

;

;

|phil2_has_right 12

|MARKING

|0

;

|name

|phil2_has_right

;

|Initial Marking

|0

;

;

|phil3_has_right 13

|MARKING

|0

;

|name

|phil3_has_right

;

|Initial Marking

|0

;

;

|phil4_has_right 14

|MARKING

|0

;

|name

|phil4_has_right

;

|Initial Marking

|0

;

;

|phil5_has_right 15

|MARKING

|0

;

|name

|phil5_has_right

;

|Initial Marking

|0

;

;

|phil1_is_eating 16

|MARKING

|0

;

|name

|phil1_is_eating

;

|Initial Marking

|0

;

;

|phil2_is_eating 17

|MARKING

|0

;

|name

|phil2_is_eating

;

|Initial Marking

|0

;

;

|phil3_is_eating 18

|MARKING

|0

;

|name

|phil3_is_eating

;

|Initial Marking

|0

;

;

|phil4_is_eating 19

|MARKING

|0

;

|name

|phil4_is_eating

;

|Initial Marking

|0

;

;

|phil5_is_eating 20

|MARKING

|0

;

|name

|phil5_is_eating

;

|Initial Marking

|0

;

;

;

|TRANSITIONS

|phil1_put_back 21

|name

|phil1_put_back

;

;

|phil2_put_back 22

|name

|phil2_put_back

;

;

|phil2_take_right 23

|name

|phil2_take_right

;

;

|phil1_take_left 24

|name

|phil1_take_left

;

;

|phil3_put_back 25

|name

|phil3_put_back

;

;

|phil3_take_right 26

|name

|phil3_take_right

;

;

|phil2_take_left 27

|name

|phil2_take_left

;

;

|phil4_put_back 28

|name

|phil4_put_back

;

;

|phil4_take_right 29

|name

|phil4_take_right

;

;

|phil3_take_left 30

|name

|phil3_take_left

;

;

|phil5_put_back 31

|name

|phil5_put_back

;

;

|phil5_take_right 32

|name

|phil5_take_right

;

;

|phil4_take_left 33

|name

|phil4_take_left

;

;

|phil1_take_right 34

|name

|phil1_take_right

;

;

|phil5_take_left 35

|name

|phil5_take_left

;

;

|phil1_start_eat 36

|name

|phil1_start_eat

;

;

|phil2_start_eat 37

|name

|phil2_start_eat

;

;

|phil3_start_eat 38

|name

|phil3_start_eat

;

;

|phil4_start_eat 39

|name

|phil4_start_eat

;

;

|phil5_start_eat 40

|name

|phil5_start_eat

;

;

;

|ARCS

|21 --> 1 41

|1

;

|inscription

|1

;

;

|22 --> 1 42

|1

;

|inscription

|1

;

;

|1 --> 23 43

|1

;

|inscription

|1

;

;

|1 --> 24 44

|1

;

|inscription

|1

;

;

|22 --> 2 45

|1

;

|inscription

|1

;

;

|25 --> 2 46

|1

;

|inscription

|1

;

;

|2 --> 26 47

|1

;

|inscription

|1

;

;

|2 --> 27 48

|1

;

|inscription

|1

;

;

|25 --> 3 49

|1

;

|inscription

|1

;

;

|28 --> 3 50

|1

;

|inscription

|1

;

;

|3 --> 29 51

|1

;

|inscription

|1

;

;

|3 --> 30 52

|1

;

|inscription

|1

;

;

|28 --> 4 53

|1

;

|inscription

|1

;

;

|31 --> 4 54

|1

;

|inscription

|1

;

;

|4 --> 32 55

|1

;

|inscription

|1

;

;

|4 --> 33 56

|1

;

|inscription

|1

;

;

|21 --> 5 57

|1

;

|inscription

|1

;

;

|31 --> 5 58

|1

;

|inscription

|1

;

;

|5 --> 34 59

|1

;

|inscription

|1

;

;

|5 --> 35 60

|1

;

|inscription

|1

;

;

|34 --> 11 61

|1

;

|inscription

|1

;

;

|6 --> 36 62

|1

;

|inscription

|1

;

;

|23 --> 12 63

|1

;

|inscription

|1

;

;

|7 --> 37 64

|1

;

|inscription

|1

;

;

|26 --> 13 65

|1

;

|inscription

|1

;

;

|8 --> 38 66

|1

;

|inscription

|1

;

;

|29 --> 14 67

|1

;

|inscription

|1

;

;

|9 --> 39 68

|1

;

|inscription

|1

;

;

|32 --> 15 69

|1

;

|inscription

|1

;

;

|10 --> 40 70

|1

;

|inscription

|1

;

;

|24 --> 6 71

|1

;

|inscription

|1

;

;

|11 --> 36 72

|1

;

|inscription

|1

;

;

|30 --> 8 73

|1

;

|inscription

|1

;

;

|13 --> 38 74

|1

;

|inscription

|1

;

;

|33 --> 9 75

|1

;

|inscription

|1

;

;

|14 --> 39 76

|1

;

|inscription

|1

;

;

|35 --> 10 77

|1

;

|inscription

|1

;

;

|15 --> 40 78

|1

;

|inscription

|1

;

;

|36 --> 16 79

|1

;

|inscription

|1

;

;

|16 --> 21 80

|1

;

|inscription

|1

;

;

|37 --> 17 81

|1

;

|inscription

|1

;

;

|17 --> 22 82

|1

;

|inscription

|1

;

;

|38 --> 18 83

|1

;

|inscription

|1

;

;

|18 --> 25 84

|1

;

|inscription

|1

;

;

|39 --> 19 85

|1

;

|inscription

|1

;

;

|19 --> 28 86

|1

;

|inscription

|1

;

;

|40 --> 20 87

|1

;

|inscription

|1

;

;

|20 --> 31 88

|1

;

|inscription

|1

;

;

|12 --> 37 89

|1

;

|inscription

|1

;

;

|27 --> 7 90

|1

;

|inscription

|1

;

;

;

|MARKING

|1

|1

;

|2

|1

;

|3

|1

;

|4

|1

;

|5

|1

;

|6

|0

;

|7

|0

;

|8

|0

;

|9

|0

;

|10

|0

;

|11

|0

;

|12

|0

;

|13

|0

;

|14

|0

;

|15

|0

;

|16

|0

;

|17

|0

;

|18

|0

;

|19

|0

;

|20

|0

;

;

|NET_END

EDITOR_INFOS

PAGES

;

PLACE

1 :

1 474.0 227.0

{'MARKING': (0, 0, 1), 'name': (0, 0, 1), 'Initial Marking': (0, -20, 1)}

.

2 :

1 404.0 434.0

{'MARKING': (0, 0, 1), 'name': (0, 0, 1), 'Initial Marking': (0, -20, 1)}

.

3 :

1 186.0 434.0

{'MARKING': (0, 0, 1), 'name': (0, 0, 1), 'Initial Marking': (0, -20, 1)}

.

4 :

1 116.0 227.0

{'MARKING': (0, 0, 1), 'name': (0, 0, 1), 'Initial Marking': (0, -20, 1)}

.

5 :

1 295.0 95.0

{'MARKING': (0, 0, 1), 'name': (0, 0, 1), 'Initial Marking': (0, -20, 1)}

.

6 :

1 430.0 195.0

{'MARKING': (0, 0, 1), 'name': (0, 0, 1), 'Initial Marking': (0, -20, 1)}

.

7 :

1 422.0 384.0

{'MARKING': (0, 0, 1), 'name': (0, 0, 1), 'Initial Marking': (0, -20, 1)}

.

8 :

1 240.0 434.0

{'MARKING': (0, 0, 1), 'name': (0, 0, 1), 'Initial Marking': (0, -20, 1)}

.

9 :

1 134.0 280.0

{'MARKING': (0, 0, 1), 'name': (0, 0, 1), 'Initial Marking': (0, -20, 1)}

.

10 :

1 254.0 127.0

{'MARKING': (0, 0, 1), 'name': (0, 0, 1), 'Initial Marking': (0, -20, 1)}

.

11 :

1 336.0 127.0

{'MARKING': (0, 0, 1), 'name': (0, 0, 1), 'Initial Marking': (0, -20, 1)}

.

12 :

1 456.0 280.0

{'MARKING': (0, 0, 1), 'name': (0, 0, 1), 'Initial Marking': (0, -20, 1)}

.

13 :

1 349.0 434.0

{'MARKING': (0, 0, 1), 'name': (0, 0, 1), 'Initial Marking': (0, -20, 1)}

.

14 :

1 167.0 384.0

{'MARKING': (0, 0, 1), 'name': (0, 0, 1), 'Initial Marking': (0, -20, 1)}

.

15 :

1 160.0 195.0

{'MARKING': (0, 0, 1), 'name': (0, 0, 1), 'Initial Marking': (0, -20, 1)}

.

16 :

1 395.0 160.0

{'MARKING': (0, 0, 1), 'name': (0, 0, 1), 'Initial Marking': (0, -20, 1)}

.

17 :

1 440.0 328.0

{'MARKING': (0, 0, 1), 'name': (0, 0, 1), 'Initial Marking': (0, -20, 1)}

.

18 :

1 295.0 434.0

{'MARKING': (0, 0, 1), 'name': (0, 0, 1), 'Initial Marking': (0, -20, 1)}

.

19 :

1 150.0 328.0

{'MARKING': (0, 0, 1), 'name': (0, 0, 1), 'Initial Marking': (0, -20, 1)}

.

20 :

1 205.0 160.0

{'MARKING': (0, 0, 1), 'name': (0, 0, 1), 'Initial Marking': (0, -20, 1)}

.

;

TRANSITION

21 :

1 317.0 251.0

{'name': (0, 0, 1)}

.

22 :

1 329.0 293.0

{'name': (0, 0, 1)}

.

23 :

1 394.0 286.0

{'name': (0, 0, 1)}

.

24 :

1 388.0 220.0

{'name': (0, 0, 1)}

.

25 :

1 295.0 317.0

{'name': (0, 0, 1)}

.

26 :

1 320.0 374.0

{'name': (0, 0, 1)}

.

27 :

1 387.0 336.0

{'name': (0, 0, 1)}

.

28 :

1 260.0 293.0

{'name': (0, 0, 1)}

.

29 :

1 213.0 336.0

{'name': (0, 0, 1)}

.

30 :

1 270.0 374.0

{'name': (0, 0, 1)}

.

31 :

1 273.0 251.0

{'name': (0, 0, 1)}

.

32 :

1 213.0 220.0

{'name': (0, 0, 1)}

.

33 :

1 196.0 286.0

{'name': (0, 0, 1)}

.

34 :

1 327.0 186.0

{'name': (0, 0, 1)}

.

35 :

1 263.0 186.0

{'name': (0, 0, 1)}

.

36 :

1 452.0 68.0

{'name': (0, 0, 1)}

.

37 :

1 550.0 367.0

{'name': (0, 0, 1)}

.

38 :

1 295.0 550.0

{'name': (0, 0, 1)}

.

39 :

1 40.0 367.0

{'name': (0, 0, 1)}

.

40 :

1 137.0 68.0

{'name': (0, 0, 1)}

.

;

ARC

41 :

1 0 0

{'inscription': (0, 0, 1)}

.

42 :

1 0 0

{'inscription': (0, 0, 1)}

.

43 :

1 0 0

{'inscription': (0, 0, 1)}

.

44 :

1 0 0

{'inscription': (0, 0, 1)}

.

45 :

1 0 0

{'inscription': (0, 0, 1)}

.

46 :

1 0 0

{'inscription': (0, 0, 1)}

.

47 :

1 0 0

{'inscription': (0, 0, 1)}

.

48 :

1 0 0

{'inscription': (0, 0, 1)}

.

49 :

1 0 0

{'inscription': (0, 0, 1)}

.

50 :

1 0 0

{'inscription': (0, 0, 1)}

.

51 :

1 0 0

{'inscription': (0, 0, 1)}

.

52 :

1 0 0

{'inscription': (0, 0, 1)}

.

53 :

1 0 0

{'inscription': (0, 0, 1)}

.

54 :

1 0 0

{'inscription': (0, 0, 1)}

.

55 :

1 0 0

{'inscription': (0, 0, 1)}

.

56 :

1 0 0

{'inscription': (0, 0, 1)}

.

57 :

1 0 0

{'inscription': (0, 0, 1)}

.

58 :

1 0 0

{'inscription': (0, 0, 1)}

.

59 :

1 0 0

{'inscription': (0, 0, 1)}

.

60 :

1 0 0

{'inscription': (0, 0, 1)}

.

61 :

1 0 0

{'inscription': (0, 0, 1)}

.

62 :

1 0 0

{'inscription': (0, 0, 1)}

.

63 :

1 0 0

{'inscription': (0, 0, 1)}

.

64 :

1 0 0

{'inscription': (0, 0, 1)}

.

65 :

1 0 0

{'inscription': (0, 0, 1)}

.

66 :

1 0 0

{'inscription': (0, 0, 1)}

.

67 :

1 0 0

{'inscription': (0, 0, 1)}

.

68 :

1 0 0

{'inscription': (0, 0, 1)}

.

69 :

1 0 0

{'inscription': (0, 0, 1)}

.

70 :

1 0 0

{'inscription': (0, 0, 1)}

.

71 :

1 0 0

{'inscription': (0, 0, 1)}

.

72 :

1 0 0

{'inscription': (0, 0, 1)}

.

73 :

1 0 0

{'inscription': (0, 0, 1)}

.

74 :

1 0 0

{'inscription': (0, 0, 1)}

.

75 :

1 0 0

{'inscription': (0, 0, 1)}

.

76 :

1 0 0

{'inscription': (0, 0, 1)}

.

77 :

1 0 0

{'inscription': (0, 0, 1)}

.

78 :

1 0 0

{'inscription': (0, 0, 1)}

.

79 :

1 0 0

{'inscription': (0, 0, 1)}

.

80 :

1 0 0

{'inscription': (0, 0, 1)}

.

81 :

1 0 0

{'inscription': (0, 0, 1)}

.

82 :

1 0 0

{'inscription': (0, 0, 1)}

.

83 :

1 0 0

{'inscription': (0, 0, 1)}

.

84 :

1 0 0

{'inscription': (0, 0, 1)}

.

85 :

1 0 0

{'inscription': (0, 0, 1)}

.

86 :

1 0 0

{'inscription': (0, 0, 1)}

.

87 :

1 0 0

{'inscription': (0, 0, 1)}

.

88 :

1 0 0

{'inscription': (0, 0, 1)}

.

89 :

1 0 0

{'inscription': (0, 0, 1)}

.

90 :

1 0 0

{'inscription': (0, 0, 1)}

.

;

END_EDITOR