\input zb-basic
\input zb-ioport
\iteman{io-port 70960106}
\itemau{Darondeau, Philippe; Demri, St\'ephane; Meyer, Roland; Morvan, Christophe}
\itemti{Petri net reachability graphs: decidability status of FO properties}
\itemso{FSTTCS, 140-151 (2011).}
\itemcc{}
\itemut{}
\itemli{doi:10.4230/LIPIcs.FSTTCS.2011.140}
\end