SVP trés urgt
YONEDAT. Yoneda and H. Ryuba. CTL model checking of time Petri nets using geometric
regions. IEICE Transactions on Information and Systems, E99-D(3) :297–396,
march 1998.
regions. IEICE Transactions on Information and Systems, E99-D(3) :297–396,
march 1998.
search.ieice.org/bin/summary.php?id=e81-d_3_297