01184nam a2200301 a 4500 1/17109 000907s1997 enk 0 eng d 3540609431 (v.1) 3540582762 (v.2) 3540628673 (v.3) 17626 DLC GR-PeUP 511.5 JE Jensen, Kurt. Coloured Petri Nets : basic concepts, analysis methods and practical use / Kurt Jensen 2nd ed. Berlin : Springer, 1997 3v. : ill. ; 24 cm. Include bBibliographical references Electronic data processing Distributed processing. Computer algorithms. Petri nets. INST UNIPILB MAIN 20040709 511.5 JE 00134221 00134221 LOAN v.1: 0 v.1 1 INST UNIPILB MAIN 20040709 511.5 JE 00134222 00134222 LOAN v.3: 0 v.3 1 INST UNIPILB MAIN 20040709 511.5 JE 00134223 00134223 LOAN v.2: 0 v.2 1 /webopac/covers/01/17626_3540609431.jpg (v.1) /webopac/covers/01/17626_3540582762.jpg (v.2) /webopac/covers/01/17626_3540628673.jpg (v.3)