pedantic gnu89 compilation
initial petri spec