01226nam0 22003133i 450 USM187755620241227063217.0978364210668220111028d2010 ||||0itac50 baengdez01i xxxe z01nDiscrete, continuous, and hybrid Petri NetsRené David and Hassane Alla2. edBerlinLondonSpringer2010XXII, 550 p.ill.24 cm.Reti di PetriFIRNAPC228169I511.3PRINCIPI GENERALI DELLA MATEMATICA. LOGICA MATEMATICA (LOGICA SIMBOLICA)14511.35Logica matematica (Logica simbolica). Teoria della ricorsività22David, René <1939- >MILV303678070770661Alla, HassanePUVV052135070770662ITIT-NA007920111028IT-BN0095 USM1877556Biblioteca Centralizzata di Ateneo1 v.1 v. 01SALA DING 511.3 DAV.di 0102 0000087535 N A4 1 v.3 2011102720111028 01Discrete, continuous, and hybrid Petri nets1572581UNISANNIO