@incollection{Andre/91,
AUTHOR = {Andr{\'e}, Charles},
TITLE = {Delays in synchronized elementary net systems},
BOOKTITLE = {Proceedings of the 11th International Conference on Applications and Theory of Petri Nets, ICATPN'90 (Paris, France, June 1990)},
SERIES = {LNCS},
VOLUME = {524},
PAGES = {1-28},
YEAR = {1991},
EDITOR = {Rozenberg, Grzegorz},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=524&spage=1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bradfield/91,
AUTHOR = {Bradfield, J.C.},
TITLE = {Proving temporal properties of Petri nets},
BOOKTITLE = {Proceedings of the 11th International Conference on Applications and Theory of Petri Nets, ICATPN'90 (Paris, France, June 1990)},
SERIES = {LNCS},
VOLUME = {524},
PAGES = {29-47},
YEAR = {1991},
EDITOR = {Rozenberg, Grzegorz},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=524&spage=29},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Carstensen/91,
AUTHOR = {Carstensen, Heino},
TITLE = {The complexity of testing the equivalence of transition sequences},
BOOKTITLE = {Proceedings of the 11th International Conference on Applications and Theory of Petri Nets, ICATPN'90 (Paris, France, June 1990)},
SERIES = {LNCS},
VOLUME = {524},
PAGES = {48-57},
YEAR = {1991},
EDITOR = {Rozenberg, Grzegorz},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=524&spage=48},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Chehaibar/91,
AUTHOR = {Chehaibar, Ghassan},
TITLE = {Use of reentrant nets in modular analysis of colored nets},
BOOKTITLE = {Proceedings of the 11th International Conference on Applications and Theory of Petri Nets, ICATPN'90 (Paris, France, June 1990)},
SERIES = {LNCS},
VOLUME = {524},
PAGES = {58-77},
YEAR = {1991},
EDITOR = {Rozenberg, Grzegorz},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=524&spage=58},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Desel/91,
AUTHOR = {Desel, J{\"o}rg},
TITLE = {On abstraction of nets},
BOOKTITLE = {Proceedings of the 11th International Conference on Applications and Theory of Petri Nets, ICATPN'90 (Paris, France, June 1990)},
SERIES = {LNCS},
VOLUME = {524},
PAGES = {78-92},
YEAR = {1991},
EDITOR = {Rozenberg, Grzegorz},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=524&spage=78},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Dimitrovici-Hummert-Petrucci/91,
AUTHOR = {Dimitrovici, Cristian and Hummert, Udo and Petrucci, Laure},
TITLE = {Semantics, composition and net properties of algebraic high-level nets},
BOOKTITLE = {Proceedings of the 11th International Conference on Applications and Theory of Petri Nets, ICATPN'90 (Paris, France, June 1990)},
SERIES = {LNCS},
VOLUME = {524},
PAGES = {93-117},
YEAR = {1991},
EDITOR = {Rozenberg, Grzegorz},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=524&spage=93},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Esparza-Silva/91,
AUTHOR = {Esparza, Javier and Silva, Manuel},
TITLE = {Top-down synthesis of live and bounded free choice nets},
BOOKTITLE = {Proceedings of the 11th International Conference on Applications and Theory of Petri Nets, ICATPN'90 (Paris, France, June 1990)},
SERIES = {LNCS},
VOLUME = {524},
PAGES = {118-139},
YEAR = {1991},
EDITOR = {Rozenberg, Grzegorz},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=524&spage=118},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{di_Giovanni/91,
AUTHOR = {di Giovanni, Raffaele},
TITLE = {Hood nets},
BOOKTITLE = {Proceedings of the 11th International Conference on Applications and Theory of Petri Nets, ICATPN'90 (Paris, France, June 1990)},
SERIES = {LNCS},
VOLUME = {524},
PAGES = {140-160},
YEAR = {1991},
EDITOR = {Rozenberg, Grzegorz},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=524&spage=140},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hopkins/91,
AUTHOR = {Hopkins, R.P.},
TITLE = {Distributable nets},
BOOKTITLE = {Proceedings of the 11th International Conference on Applications and Theory of Petri Nets, ICATPN'90 (Paris, France, June 1990)},
SERIES = {LNCS},
VOLUME = {524},
PAGES = {161-187},
YEAR = {1991},
EDITOR = {Rozenberg, Grzegorz},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=524&spage=161},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Itter-Relewicz/91,
AUTHOR = {Itter, F. and Relewicz, C.},
TITLE = {Computer supported design of Kanban controlled production},
BOOKTITLE = {Proceedings of the 11th International Conference on Applications and Theory of Petri Nets, ICATPN'90 (Paris, France, June 1990)},
SERIES = {LNCS},
VOLUME = {524},
PAGES = {188-204},
YEAR = {1991},
EDITOR = {Rozenberg, Grzegorz},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=524&spage=188},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Janicki-Koutny/91,
AUTHOR = {Janicki, Ryszard and Koutny, Maciej},
TITLE = {Optimal simulations, nets and reachibility graphs},
BOOKTITLE = {Proceedings of the 11th International Conference on Applications and Theory of Petri Nets, ICATPN'90 (Paris, France, June 1990)},
SERIES = {LNCS},
VOLUME = {524},
PAGES = {205-226},
YEAR = {1991},
EDITOR = {Rozenberg, Grzegorz},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=524&spage=205},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Pinci-Shapiro/91,
AUTHOR = {Pinci, Valerio O. and Shapiro, Robert M.},
TITLE = {An integrated software development methodology based on hierarchical colored Petri nets},
BOOKTITLE = {Proceedings of the 11th International Conference on Applications and Theory of Petri Nets, ICATPN'90 (Paris, France, June 1990)},
SERIES = {LNCS},
VOLUME = {524},
PAGES = {227-252},
YEAR = {1991},
EDITOR = {Rozenberg, Grzegorz},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=524&spage=227},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Smith/91,
AUTHOR = {Smith, Einar},
TITLE = {On net systems generated by process foldings},
BOOKTITLE = {Proceedings of the 11th International Conference on Applications and Theory of Petri Nets, ICATPN'90 (Paris, France, June 1990)},
SERIES = {LNCS},
VOLUME = {524},
PAGES = {253-276},
YEAR = {1991},
EDITOR = {Rozenberg, Grzegorz},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=524&spage=253},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Souissi/91,
AUTHOR = {Souissi, Younes},
TITLE = {On liveness preservation by composition of nets via a set of places},
BOOKTITLE = {Proceedings of the 11th International Conference on Applications and Theory of Petri Nets, ICATPN'90 (Paris, France, June 1990)},
SERIES = {LNCS},
VOLUME = {524},
PAGES = {277-295},
YEAR = {1991},
EDITOR = {Rozenberg, Grzegorz},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=524&spage=277},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Valette-Bako/91,
AUTHOR = {Valette, Robert and Bako, Babou},
TITLE = {Software implementation of Petri nets and compilation of rule-based systems},
BOOKTITLE = {Proceedings of the 11th International Conference on Applications and Theory of Petri Nets, ICATPN'90 (Paris, France, June 1990)},
SERIES = {LNCS},
VOLUME = {524},
PAGES = {296-316},
YEAR = {1991},
EDITOR = {Rozenberg, Grzegorz},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=524&spage=296},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Plunnecke-Reisig/91,
AUTHOR = {Pl{\"u}nnecke, Helmut and Reisig, Wolfgang},
TITLE = {Bibliography of Petri nets 1990},
BOOKTITLE = {Proceedings of the 11th International Conference on Applications and Theory of Petri Nets, ICATPN'90 (Paris, France, June 1990)},
SERIES = {LNCS},
VOLUME = {524},
PAGES = {317-572},
YEAR = {1991},
EDITOR = {Rozenberg, Grzegorz},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=524&spage=317},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}