@incollection{Best/92,
AUTHOR = {Best, Eike},
TITLE = {Esprit basic research action 3148 DEMON (Design Methods Based on Nets) - aims, scope and achievements},
BOOKTITLE = {Advances in Petri Nets 1992},
SERIES = {LNCS},
VOLUME = {609},
PAGES = {1-20},
YEAR = {1992},
EDITOR = {Rozenberg, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=609&spage=1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Best-Devillers-Hall/92,
AUTHOR = {Best, Eike and Devillers, Raymond and Hall, Jon G.},
TITLE = {The box calculus: a new causal algebra with multi-label communication},
BOOKTITLE = {Advances in Petri Nets 1992},
SERIES = {LNCS},
VOLUME = {609},
PAGES = {21-69},
YEAR = {1992},
EDITOR = {Rozenberg, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=609&spage=21},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Broy-Streicher/92,
AUTHOR = {Broy, Manfred and Streicher, Thomas},
TITLE = {Modular functional modelling of Petri nets with individual tokens},
BOOKTITLE = {Advances in Petri Nets 1992},
SERIES = {LNCS},
VOLUME = {609},
PAGES = {70-88},
YEAR = {1992},
EDITOR = {Rozenberg, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=609&spage=70},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Czaja-Glabbeek-Goltz/92,
AUTHOR = {Czaja, Ingo and Glabbeek, Rob J. van and Goltz, Ursula},
TITLE = {Interleaving semantics and action refinement with atomic choice},
BOOKTITLE = {Advances in Petri Nets 1992},
SERIES = {LNCS},
VOLUME = {609},
PAGES = {89-107},
YEAR = {1992},
EDITOR = {Rozenberg, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=609&spage=89},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Devillers/92,
AUTHOR = {Devillers, Raymond},
TITLE = {Maximality preservation and the ST-idea for action refinements},
BOOKTITLE = {Advances in Petri Nets 1992},
SERIES = {LNCS},
VOLUME = {609},
PAGES = {108-151},
YEAR = {1992},
EDITOR = {Rozenberg, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=609&spage=108},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Fanchon/92,
AUTHOR = {Fanchon, J.},
TITLE = {A fifo-net model for processes with asynchronous communication},
BOOKTITLE = {Advances in Petri Nets 1992},
SERIES = {LNCS},
VOLUME = {609},
PAGES = {152-178},
YEAR = {1992},
EDITOR = {Rozenberg, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=609&spage=152},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hopkins-Hall-Botti/92,
AUTHOR = {Hopkins, Richard and Hall, Jon and Botti, Oliver},
TITLE = {A basic-net algebra for program semantics and its application to OCCAM},
BOOKTITLE = {Advances in Petri Nets 1992},
SERIES = {LNCS},
VOLUME = {609},
PAGES = {179-214},
YEAR = {1992},
EDITOR = {Rozenberg, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=609&spage=179},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Keesmaat-Kleijn/92,
AUTHOR = {Keesmaat, N.W. and Kleijn, H.C.M.},
TITLE = {The effect of vector synchronization: Residue and loss},
BOOKTITLE = {Advances in Petri Nets 1992},
SERIES = {LNCS},
VOLUME = {609},
PAGES = {215-250},
YEAR = {1992},
EDITOR = {Rozenberg, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=609&spage=215},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Koutny/92,
AUTHOR = {Koutny, Maciej},
TITLE = {Modelling systems with dynamic priorities},
BOOKTITLE = {Advances in Petri Nets 1992},
SERIES = {LNCS},
VOLUME = {609},
PAGES = {251-266},
YEAR = {1992},
EDITOR = {Rozenberg, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=609&spage=251},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Rozoy/92,
AUTHOR = {Rozoy, Brigitte},
TITLE = {On distributed languages and models for concurrency},
BOOKTITLE = {Advances in Petri Nets 1992},
SERIES = {LNCS},
VOLUME = {609},
PAGES = {267-291},
YEAR = {1992},
EDITOR = {Rozenberg, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=609&spage=267},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Vogler/92a,
AUTHOR = {Vogler, Walter},
TITLE = {Partial words versus processes: A short comparison},
BOOKTITLE = {Advances in Petri Nets 1992},
SERIES = {LNCS},
VOLUME = {609},
PAGES = {292-303},
YEAR = {1992},
EDITOR = {Rozenberg, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=609&spage=292},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bernardinello-Cindio/92,
AUTHOR = {Bernardinello, Luca and Cindio, Fiorella de},
TITLE = {A survey of basic net models and modular net classes},
BOOKTITLE = {Advances in Petri Nets 1992},
SERIES = {LNCS},
VOLUME = {609},
PAGES = {304-351},
YEAR = {1992},
EDITOR = {Rozenberg, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=609&spage=304},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Campos-Silva/92,
AUTHOR = {Campos, Javier and Silva, Manuel},
TITLE = {Stuctural techniques and performance bounds of stochastic Petri net models},
BOOKTITLE = {Advances in Petri Nets 1992},
SERIES = {LNCS},
VOLUME = {609},
PAGES = {352-391},
YEAR = {1992},
EDITOR = {Rozenberg, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=609&spage=352},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gastin-Petit/92a,
AUTHOR = {Gastin, Paul and Petit, Antoine},
TITLE = {A survey of recognizable languages of infinite traces},
BOOKTITLE = {Advances in Petri Nets 1992},
SERIES = {LNCS},
VOLUME = {609},
PAGES = {392-409},
YEAR = {1992},
EDITOR = {Rozenberg, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=609&spage=392},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Pomello-Rozenberg-Simone/92,
AUTHOR = {Pomello, L. and Rozenberg, G. and Simone, C.},
TITLE = {A survey of equivalence notions for net based systems},
BOOKTITLE = {Advances in Petri Nets 1992},
SERIES = {LNCS},
VOLUME = {609},
PAGES = {410-472},
YEAR = {1992},
EDITOR = {Rozenberg, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=609&spage=410},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}