01477nam2-2200409li-450 99000021046020331620180312154823.03-540-60029-90021046USA010021046(ALEPH)000021046USA01002104620001109d1995----km-y0itay0103----baengGWApplication and theory of Petri nets 199516th International conferenceTurin, Italy, June 26-30, 1995proceedingsGiorgio De Michelis ... [etc.] (eds.)Berlin [etc.]Springer-Verlagcopyr. 1995VIII, 509 p.ill.25 cmLecture notes in computer science93500100202642001Lecture notes in computer sciencecongressitorino1995reti di elaboratoriarchitetturacongressi1995reticoli di petricongressi19955113Logica simbolica (Logica matematica)De Michelis,GiorgioSistema bibliotecario di Ateneo dell' Università di SalernoRICA990000210460203316001 LNCS (935)002029900100103978BKSCI1997122820001110USA011714ALANDI9020010131USA01130020020403USA011629PATRY9020040406USA011615Application and theory of Petri nets 19951501993UNISA