Download User Manual - Automatic Control Group

int m(char *p_i)
Input: place name p_i.
Output: number of tokens of the place pi.
int m(int i)
Input: indexi of the place pi.
Output: number of tokens of the place pi.
Input: indexi and index j of the Petri Net
intmatInc(int i, int j)
incidence matrix (1≤i≤number_of_places,
1≤j≤number_of_transitions)
Output: element cij of the incidence matrix.
Input: none.
intnPosti()
Output: number of places of the Petri Net.
Input: none.
intnTrans()
Output: number of transitions of the Petri Net.
Input: place name p_i, index token i,index
intcompToken(char *p_i, int i, int j)
element j
Output: element j of the token i of the place pi.
Input: place index p_i, index token i, index
intcompToken(intp_i, int i, int j)
element j
Output: element j of the token i of the place pi.
52