01412nam2 22003733i 450 AQ1002982720251003044042.00387555978New York3540555978Berlin20081006d1992 ||||0itac50 baengdez01i xxxe z01nz01ncRDAcarrierVol. 1Kurt JensenBerlin [etc.]Springer1992X, 234 p.25 cmEATCS monographs on theoretical computer science26Bibliografia: P. [221]-229.001AQ100003492001 EATCS monographs on theoretical computer science26001AQ100104862001 Coloured Petri netsbasic concepts, analysis methods and practical useKurt Jensen1Reti di PetriFIRCFIC009033I511Principi generali della matematica14511.35Logica matematica (Logica simbolica). Teoria della ricorsività22Petri, reti diReti di PetriPetri, reti diITIT-00000020081006IT-BN0095 AQ10029827Biblioteca Centralizzata di Ateneov. 1 01SALA DING 511 JEN.co 0102 0000018155 VMA A4(0001 v. 1Y 1995030619950306 01Vol. 169654UNISANNIO