Input dependencies: 3
Input of function 'petrinet_main':
Global variable petrinet_P1_is_marked, Type: i32*:
  Influences function 'petrinet_main'.
Global variable petrinet_P3_is_marked, Type: i32*:
  Influences function 'petrinet_main'.
Global variable petrinet_P2_is_marked, Type: i32*:
  Influences function 'petrinet_main'.

McCabe's Cyclomatic Complexity of function 'petrinet_main': 126

Function 'petrinet_main' uses no recursion.

Longest call chain: 1
petrinet_main

Function 'petrinet_main' calls function via pointers: 0

Function 'petrinet_main' uses floating point values: 0
Conditionals using floating point values in function 'petrinet_main': 0
Total number of conditionals in funtion 'petrinet_main': 125

Statistics about the loops of function 'petrinet_main' and subroutines: 
Total Loops: 1
Nested Loops: 0
Loop depths with frequency:
1: 1