01278nam0 22003373i 450 NAP051299320251003044254.0978364200283020110628d2009 ||||0itac50 baengdez01i xxxe z01nColoured Petri netsmodelling and validation of concurrent systemsKurt Jensen, Lars M. KristensenBerlin [etc.]Springer2009XI, 384 p.24 cmReti di PetriFIRCFIC009033I511Principi generali della matematica14511.35Logica matematica (Logica simbolica). Teoria della ricorsività22Petri, reti diReti di PetriPetri, reti diJensen, Kurt <1950- >AQ1V005608070770276Kristensen, Lars M.NAPV118229070771158ITIT-00000020110628IT-BN0095 NAP 01SALA DING $NAP0512993Biblioteca Centralizzata di Ateneo1 v.1 v. 01SALA DING 511 JEN.co 0102 0000085805 VMA A4 1 v.Y 2011062320110628 01Coloured Petri nets1573573UNISANNIO