perpetuum/demo/traffic_light_nightly.c at master · vanrein/perpetuum · GitHub

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
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
/* traffic_light_nightly.c
 *
 * This is a generated file.  Do not edit it, but rather its source and
 * run perpetuum to produce a new version of this file.
 *
 * Please file issues with https://github.com/vanrein/perpetuum/issues
 *
 * With compliments from the ARPA2.net / InternetWide.org project!
 */


#include "traffic_light_nightly.h"


#ifdef PETRINET_WITHOUT_NAMES
#define NAME_COMMA(x)
#else
#define NAME_COMMA(x) x,
#endif


static const transref_t red_trans_out [] = { 1, 2 };
static const transref_t red_trans_out_inh [] = { 0 };

static const transref_t night_service_trans_out [] = { 1, 3 };
static const transref_t night_service_trans_out_inh [] = { 2, 1, 5 };

static const transref_t yellow_trans_out [] = { 1, 5 };
static const transref_t yellow_trans_out_inh [] = { 0 };

static const transref_t green_trans_out [] = { 1, 4 };
static const transref_t green_trans_out_inh [] = { 0 };

static const placeref_t dawn_place_in [] = { 0 };
static const placeref_t dawn_place_out [] = { 1, 2 };

static const placeref_t go_place_in [] = { 1, 1 };
static const placeref_t go_place_out [] = { 1, 4 };

static const placeref_t sunset_place_in [] = { 1, 2 };
static const placeref_t sunset_place_out [] = { 0 };

static const placeref_t caution_place_in [] = { 1, 4 };
static const placeref_t caution_place_out [] = { 1, 3 };

static const placeref_t stop_place_in [] = { 1, 3 };
static const placeref_t stop_place_out [] = { 1, 1 };

static const place_topo_t traffic_light_nightly_places [] = {
	{ NAME_COMMA ("red") red_trans_out, red_trans_out_inh },
	{ NAME_COMMA ("night_service") night_service_trans_out, night_service_trans_out_inh },
	{ NAME_COMMA ("yellow") yellow_trans_out, yellow_trans_out_inh },
	{ NAME_COMMA ("green") green_trans_out, green_trans_out_inh },
};

static const trans_topo_t traffic_light_nightly_transitions [] = {
	{ NAME_COMMA ("dawn") dawn_place_in, dawn_place_out, trans_action_dawn },
	{ NAME_COMMA ("go") go_place_in, go_place_out, trans_action_go },
	{ NAME_COMMA ("sunset") sunset_place_in, sunset_place_out, trans_action_sunset },
	{ NAME_COMMA ("caution") caution_place_in, caution_place_out, trans_action_caution },
	{ NAME_COMMA ("stop") stop_place_in, stop_place_out, trans_action_stop },
};

#ifdef PETRINET_SINGLETONS
static place_t the_traffic_light_nightly_places [] = {
	PLACE_INIT_red,
	PLACE_INIT_night_service,
	PLACE_INIT_yellow,
	PLACE_INIT_green,
};
#endif

#ifdef PETRINET_SINGLETONS
static trans_t the_traffic_light_nightly_transitions [] = {
	TRANS_INIT_dawn,
	TRANS_INIT_go,
	TRANS_INIT_sunset,
	TRANS_INIT_caution,
	TRANS_INIT_stop,
};
#endif

#ifdef PETRINET_SINGLETONS
#ifdef PETRINET_GLOBAL_NAME
petrinet_t PETRINET_GLOBAL_NAME = {
#else
petrinet_t the_traffic_light_nightly = {
#endif
	NAME_COMMA (.colour = "the_traffic_light_nightly")
	.topology = {
		/* Topology is inlined due to PETRINET_SINGLETONS */
		NAME_COMMA (.name = "traffic_light_nightly")
		.place_num = 4,
		.trans_num = 5,
		.place_ary = &traffic_light_nightly_places [-1],
		.trans_ary = &traffic_light_nightly_transitions [-1],
		/* TODO: Support for inital USRDEF_PETRINET_FIELDS */
	},
	.place_ary = &the_traffic_light_nightly_places [-1],
	.trans_ary = &the_traffic_light_nightly_transitions [-1],
	/* TODO: Support for initial PLACE_HASH_CTX_FIELDS */
	/* TODO: Support for initial TRANS_HASH_CTX_FIELDS */
	/* TODO: Support for initial USRDEF_PETRINET_COLOUR_FIELDS */
#ifndef PETRINET_GLOBAL_NAME
};
#else
};
#endif
#endif

#ifndef PETRINET_SINGLETONS
const petrinet_topo_t traffic_light_nightly = {
	NAME_COMMA (.name = "traffic_light_nightly")
	.place_num = 4,
	.trans_num = 5,
	.place_ary = &traffic_light_nightly_places [-1],
	.trans_ary = &traffic_light_nightly_transitions [-1],
};
#endif


/* End of generated file traffic_light_nightly.c */