01163nam0 22003013i 450 NAP051299320250110063019.0978364200283020110628d2009 ||||0itac50 baengdez01i xxxe z01nColoured Petri netsmodelling and validation of concurrent systemsKurt Jensen, Lars M. KristensenBerlin [etc.]Springer2009XI, 384 p.24 cmReti di PetriFIRNAPC228169I511Principi generali della matematica14511.35Logica matematica (Logica simbolica). Teoria della ricorsività22Jensen, Kurt <1950- >AQ1V005608070770276Kristensen, Lars M.NAPV118229070771158ITIT-NA007920110628IT-BN0095 NAP0512993Biblioteca Centralizzata di Ateneo1 v.1 v. 01SALA DING 511 JEN.co 0102 0000085805 N A4 1 v.3 2011062320110628 01Coloured Petri nets1573573UNISANNIO