\input zb-basic
\input zb-ioport
\iteman{io-port 70911460}
\itemau{Liu, Yang; Miao, Huaikou; Zeng, Hongwei; Li, Zhuang}
\itemti{Probabilistic Petri net and its logical semantics}
\itemso{SERA, 73-78 (2011).}
\itemcc{}
\itemut{}
\itemli{http://doi.ieeecomputersociety.org/10.1109/SERA.2011.32}
\end