01464nam2-2200409li-450 99000020656020331620180312154817.03-540-61363-30020656USA010020656(ALEPH)000020656USA01002065620001109d1996----km-y0itay0103----baengGWApplication and theory of Petri nets 199617th international conference Osaka, Japan, June 24-28, 1996 proceedingsJonathan Billington ... [et al.] (eds.)Berlin [etc.]Springer-Verlagcopyr. 1996VIII, 548 p.ill.23 cmLecture notes in computer science109100100202642001Lecture notes in computer sciencecongressiosaka1996reti di elaboratoricongressi1996reticoli di petricongressi19965113Logica simbolica (Logica matematica)Billington,JonathanSistema bibliotecario di Ateneo dell' Università di SalernoRICA990000206560203316001 LNCS (1091)001928400100103869BKSCI1997010820001110USA011714ALANDI9020010201USA01115120020403USA011628PATRY9020040406USA011615Application and theory of Petri nets 19961501961UNISA