?url_ver=Z39.88-2004&rft_id=10.1007%2F3-540-45315-6_7&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.aufirst=Maria+Grazia&rft.aulast=Buscemi&rft.au=Buscemi%2C+Maria+Grazia&rft.btitle=Proceedings+of+Foundations+of+Software+Science+and+Computation+Structure+(FoSSaCS+%E2%80%9901)&rft.title=High-Level+Petri+Nets+as+Type+Theories+in+the+Join+Calculus&rft.date=2001&rft.isbn=3-540-41864-4&rft.genre=bookitem