LEADER 01292nam1 22003493i 450 
001 AQ10010486
005 20251003044042.0
100   $a20081006g1992    ||||0itac50      ba
101 | $aeng
102   $ade
181  1$6z01$ai $bxxxe  
182  1$6z01$an
183  1$6z01$anc$2RDAcarrier
200 1 $aColoured Petri nets$ebasic concepts, analysis methods and practical use$fKurt Jensen
210   $aBerlin [etc.]$cSpringer
215   $avolumi$d25 cm
463  1$1001AQ10029827$12000 $aVol. 1$fKurt Jensen$v1
463  1$1001NAP0512985$12000 $aVol. 1$fKurt Jensen$v1
606   $aReti di Petri$2FIR$3CFIC009033$9I
676   $a511.3$9LOGICA MATEMATICA (LOGICA SIMBOLICA)$v14
676   $a511.35$9Logica matematica (Logica simbolica). Teoria della ricorsività$v22
696   $aPetri, reti di
699   $aReti di Petri$yPetri, reti di
700  1$aJensen$b, Kurt$f <1950-    >$3AQ1V005608$4070$0770276
801  3$aIT$bIT-000000$c20081006
850   $aIT-BN0095          
901   $bNAP 01$cSALA DING $n$
912   $aAQ10010486
950  1$aBiblioteca Centralizzata di Ateneo$cv. 1$d 01SALA DING 511                     JEN.co$cv. 1$d 01SALA DING 511.3                   JEN.co
977   $a 01
996   $aColoured Petri nets$91571163
997   $aUNISANNIO