\input zb-basic
\input zb-ioport
\iteman{io-port 70274107}
\itemau{Notomi, Masato; Murata, Tadao}
\itemti{Hierarchically organized Petri net state space for reachability and deadlock analysis}
\itemso{IPPS, 616-623 (1992).}
\itemcc{}
\itemut{}
\itemli{}
\end