/*
 * cg_petri_pb2.h
 */

#define MAXLOOPS 100000

#define PHILOSOPHERS 5
#define PLACES (3*PHILOSOPHERS+1)
#define TRANSITIONS (2*PHILOSOPHERS+1)
#define MAX_T_IN_DEGREE 3
#define MAX_P_IN_DEGREE 2
#define MAX_P_OUT_DEGREE 2

#define MAX_TRANSITIONS_PLACES (TRANSITIONS>PLACES?TRANSITIONS:PLACES)

#define ENABLE 0
#define COUNT_RES 1
#define FIRE 2