01292nam1 22003493i 450 AQ1001048620251003044042.020081006g1992 ||||0itac50 baengdez01i xxxe z01nz01ncRDAcarrierColoured Petri netsbasic concepts, analysis methods and practical useKurt JensenBerlin [etc.]Springervolumi25 cm001AQ100298272000 Vol. 1Kurt Jensen1001NAP05129852000 Vol. 1Kurt Jensen1Reti di PetriFIRCFIC009033I511.3LOGICA MATEMATICA (LOGICA SIMBOLICA)14511.35Logica matematica (Logica simbolica). Teoria della ricorsività22Petri, reti diReti di PetriPetri, reti diJensen, Kurt <1950- >AQ1V005608070770276ITIT-00000020081006IT-BN0095 NAP 01SALA DING $AQ10010486Biblioteca Centralizzata di Ateneov. 1 01SALA DING 511 JEN.cov. 1 01SALA DING 511.3 JEN.co 01Coloured Petri nets1571163UNISANNIO