01487nam2-2200409li-450 99000020988020331620180312154820.03-540-64677-90020988USA010020988(ALEPH)000020988USA01002098820001109d1998----km-y0itay0103----baengGWApplication and theory of Petri nets 199819th international conference, ICATPN'98 Lisbon, Portugal, June 22-26, 1998proceedingsJorg Desel...[et al.] (eds.)Berlin [etc.]Springer-Verlagcopyr. 1998VIII, 384 p.ill.24 cmLecture notes in computer science142000100202642001Lecture notes in computer sciencecongressilisbona1998reticolo di petricongressi 19985113Logica simbolica (Logica matematica)Desel,JorgInternational conference ICATPN'9819.Lisbona1998753655Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000209880203316001 LNCS (1420)002267500100104103BKSCI1999010720001110USA011714ALANDI9020010206USA01155220020403USA011629PATRY9020040406USA011615Application and theory of Petri nets 19981516194UNISA