@incollection{Hirshfeld/94a,
AUTHOR = {Hirshfeld, Yoram},
TITLE = {Petri nets and the equivalence problem},
BOOKTITLE = {Proceedings with Selected Papers of the 7th Workshop on Computer Science Logic, CSL'93 (Swansea, United Kingdom, September 13-17, 1993)},
SERIES = {LNCS},
VOLUME = {832},
PAGES = {165-174},
YEAR = {1994},
EDITOR = {B{\"o}rger, Egon and Gurevich, Yuri and Meinke, Karl},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=832&spage=165},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}