\input zb-basic
\input zb-ioport
\iteman{io-port 70093744}
\itemau{Feldbrugge, Frits}
\itemti{Petri net tool overview 1989}
\itemso{European Workshop on Applications and Theory in Petri Nets, 151-178 (1988).}
\itemcc{}
\itemut{}
\itemli{doi:10.1007/3-540-52494-0\_29}
\end