LEADER 01163nam0 22003013i 450 
001 NAP0512993
005 20250110063019.0
010   $a9783642002830
100   $a20110628d2009    ||||0itac50      ba
101 | $aeng
102   $ade
181  1$6z01$ai $bxxxe  
182  1$6z01$an
200 1 $aColoured Petri nets$emodelling and validation of concurrent systems$fKurt Jensen, Lars M. Kristensen
210   $aBerlin [etc.]$cSpringer$d2009
215   $aXI, 384 p.$d24 cm
606   $aReti di Petri$2FIR$3NAPC228169$9I
676   $a511$9Principi generali della matematica$v14
676   $a511.35$9Logica matematica (Logica simbolica). Teoria della ricorsività$v22
700  1$aJensen$b, Kurt$f <1950-    >$3AQ1V005608$4070$0770276
701  1$aKristensen$b, Lars M.$3NAPV118229$4070$0771158
801  3$aIT$bIT-NA0079$c20110628
850   $aIT-BN0095          
912   $aNAP0512993
950  0$aBiblioteca Centralizzata di Ateneo$b1 v.$c1 v.$d 01SALA DING 511                     JEN.co$e 0102 0000085805    N A4                    1 v.$f3 $h20110623$i20110628
977   $a 01
996   $aColoured Petri nets$91573573
997   $aUNISANNIO