01322nam2 22003493i 450 NAP051298520251003044254.0978364208243620110628d2010 ||||0itac50 baengdez01i xxxe z01nVol. 1Kurt Jensen2. ed.2. corrected printingBerlin [etc.]Springer2010XII, 234 p.24 cmMonographs in theoretical computer science001AQ100104842001 Monographs in theoretical computer science001AQ100104862001 Coloured Petri netsbasic concepts, analysis methods and practical useKurt Jensen1Reti di PetriFIRCFIC009033I511.3LOGICA MATEMATICA (LOGICA SIMBOLICA)14511.35Logica matematica (Logica simbolica). Teoria della ricorsività22Petri, reti diReti di PetriPetri, reti diITIT-00000020110628IT-BN0095 NAP0512985Biblioteca Centralizzata di Ateneov. 1 01SALA DING 511.3 JEN.co 0102 0000085845 VMA A4(0001 v. 1Y 2011062320110628 01Vol. 169654UNISANNIO