01177nam1 22003013i 450 AQ1001048620240607062436.020081006g1992 ||||0itac50 baengdez01i xxxe z01nColoured Petri netsbasic concepts, analysis methods and practical useKurt JensenBerlin [etc.]Springervolumi25 cm001AQ100298272000 Vol. 1Kurt Jensen1001NAP05129852000 Vol. 1Kurt Jensen1Reti di PetriFIRNAPC228169I511.3PRINCIPI GENERALI DELLA MATEMATICA. LOGICA MATEMATICA (LOGICA SIMBOLICA)14511.35Logica matematica (Logica simbolica). Teoria della ricorsività22Jensen, Kurt <1950- >AQ1V005608070770276ITIT-NA007920081006IT-BN0095 AQ10010486Biblioteca Centralizzata di Ateneov. 1 01SALA DING 511 JEN.cov. 1 01SALA DING 511.3 JEN.co 01Coloured Petri nets1571163UNISANNIO