\input zb-basic
\input zb-ioport
\iteman{io-port 70000035}
\itemau{Boucheneb, Hanifa; Barkaoui, Kamel}
\itemti{On interleaving in ${P,A}$-time Petri nets with strong semantics}
\itemso{INFINITY, 17-31 (2010).}
\itemcc{}
\itemut{}
\itemli{doi:10.4204/EPTCS.39.2}
\end