01398nam0 22003373i 450 NAP051298220251003044254.0978364207447920110628d2010 ||||0itac50 baengdez01i xxxe z01nPetri nets for systems engineeringa guide to modeling, verification, and applicationsClaude Girault, Rüdiger ValkBerlin [etc.]Springer2010XVI, 607 p.ill.24 cmInformaticaMetodi matematiciFIRNAPC231555I004.01ELABORAZIONE DEI DATI SCIENZA DEGLI ELABORATORI INFORMATICA. Filosofia e teoria14004.0151ELABORAZIONE DEI DATI SCIENZA DEGLI ELABORATORI INFORMATICA. Principi matematici22Scienza degli elaboratoriInformaticaScienza degli elaboratoriGirault, ClaudeMILV13406807026783Valk, RudigerAQ1V015117070771157ITIT-00000020110628IT-BN0095 NAP 01SALA DING $NAP0512982Biblioteca Centralizzata di Ateneo1 v. 01SALA DING 004.01 GIR.pe 0102 0000085815 VMA FD 1 v.Y 2011062320110628 01Petri nets for systems engineering1573572UNISANNIO