compile annotated Petri nets into Arduino code