Using forward reachability analysis for verification of timed petri nets
Parosh Aziz Abdulla Artikkel Engelsk
*0011462142 *008081022s2007 xx# 000 0 eng *019 $bk *08230$a511.3 *100 $aAbdulla, Parosh Aziz$uUppsala University : parosh@it.uu.se$_162215500 *245 $aUsing forward reachability analysis for verification of timed petri nets *300 $aS. [1]-42 : ill. *500 $aVitenskapelig artikkel *5208 $aInneholder sammendrag *650 $aGrafiske modeller$2norart$_35811900 *650 $adistribuerte$asystemer$2norart$_101516300 *650 $apetrinett$9nor$2norart$_162215700 *650 $asimuleringsmodeller$9nor$2norart$_131692000 *653 $adownward closed languages$9eng$_162215800 *653 $amodel checking$9eng$_159437600 *653 $areachability analysis$9eng$_162215900 *653 $atimed perti nets$9eng$_162216000 *700 $aDeneux, Johann;$uUppsala University : johannd@it.uu.se$_162216100 *700 $aMahata, Pritha;$uUppsala University : pritha@it.uu.se ; University of Queensland, Australia : pritha@itee.uq.edu.au$_162216200 *700 $aNylén, Aletta$uUppsala University : aletta@it.uu.se$_162216300 *773 $tNordic journal of computing$gVol. 14, nr. 1/2 (2007)$x1236-6064$w(NO-LaBS)69800(tnr) *999 $z800437868$anorart:800437868 ^