LEADER 01314nam0 22003133i 450 
001 NAP0512982
005 20250103062938.0
010   $a9783642074479
100   $a20110628d2010    ||||0itac50      ba
101 | $aeng
102   $ade
181  1$6z01$ai $bxxxe  
182  1$6z01$an
200 1 $aPetri nets for systems engineering$ea guide to modeling, verification, and applications$fClaude Girault, Rüdiger Valk
210   $aBerlin [etc.]$cSpringer$d2010
215   $aXVI, 607 p.$cill.$d24 cm
606   $aInformatica$xMetodi matematici$2FIR$3NAPC231555$9I
606   $aReti di Petri$2FIR$3NAPC228169$9I
676   $a004.01$9ELABORAZIONE DEI DATI SCIENZA DEGLI ELABORATORI INFORMATICA. Filosofia e teoria$v14
676   $a004.0151$9ELABORAZIONE DEI DATI SCIENZA DEGLI ELABORATORI INFORMATICA. Principi matematici$v22
700  1$aGirault$b, Claude$3MILV134068$4070$026783
701  1$aValk$b, Rüdiger$3AQ1V015117$4070$0771157
801  3$aIT$bIT-NA0079$c20110628
850   $aIT-BN0095          
912   $aNAP0512982
950  0$aBiblioteca Centralizzata di Ateneo$b1 v.$d 01SALA DING 004.01                  GIR.pe$e 0102 0000085815    N FD                    1 v.$f3 $h20110623$i20110628
977   $a 01
996   $aPetri nets for systems engineering$91573572
997   $aUNISANNIO