@incollection{Balbo/92,
AUTHOR = {Balbo, Gianfranco},
TITLE = {Performance issues in parallel programming},
BOOKTITLE = {Proceedings of the 13th International Conference on Application and Theory of Petri Nets, ICATPN'92 (Sheffield, UK, June 22-26, 1992)},
SERIES = {LNCS},
VOLUME = {616},
PAGES = {1-23},
YEAR = {1992},
EDITOR = {Jensen, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=616&spage=1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Reisig/92,
AUTHOR = {Reisig, W.},
TITLE = {Combining Petri nets and other formal methods},
BOOKTITLE = {Proceedings of the 13th International Conference on Application and Theory of Petri Nets, ICATPN'92 (Sheffield, UK, June 22-26, 1992)},
SERIES = {LNCS},
VOLUME = {616},
PAGES = {24-44},
YEAR = {1992},
EDITOR = {Jensen, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=616&spage=24},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Autant-Schnoebelen/92,
AUTHOR = {Autant, C. and Schnoebelen, Ph.},
TITLE = {Place bisimulations in Petri nets},
BOOKTITLE = {Proceedings of the 13th International Conference on Application and Theory of Petri Nets, ICATPN'92 (Sheffield, UK, June 22-26, 1992)},
SERIES = {LNCS},
VOLUME = {616},
PAGES = {45-61},
YEAR = {1992},
EDITOR = {Jensen, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=616&spage=45},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Barkaoui-Minoux/92,
AUTHOR = {Barkaoui, Kamel and Minoux, Michel},
TITLE = {A polynomial-time graph algorithm to decide liveness of some basic classes of bounded Petri nets},
BOOKTITLE = {Proceedings of the 13th International Conference on Application and Theory of Petri Nets, ICATPN'92 (Sheffield, UK, June 22-26, 1992)},
SERIES = {LNCS},
VOLUME = {616},
PAGES = {62-75},
YEAR = {1992},
EDITOR = {Jensen, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=616&spage=62},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Brown-Gurr/92a,
AUTHOR = {Brown, Carolyn and Gurr, Doug},
TITLE = {Refinement and simulation of nets --- a categorical characterisation},
BOOKTITLE = {Proceedings of the 13th International Conference on Application and Theory of Petri Nets, ICATPN'92 (Sheffield, UK, June 22-26, 1992)},
SERIES = {LNCS},
VOLUME = {616},
PAGES = {76-92},
YEAR = {1992},
EDITOR = {Jensen, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=616&spage=76},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bruno-Castella-Macario-Pescarmona/92,
AUTHOR = {Bruno, Giorgio and Castella, Andrea and Macario, Gianpaolo and Pescarmona, Marco P.},
TITLE = {Scheduling hard real time systems using high-level Petri nets},
BOOKTITLE = {Proceedings of the 13th International Conference on Application and Theory of Petri Nets, ICATPN'92 (Sheffield, UK, June 22-26, 1992)},
SERIES = {LNCS},
VOLUME = {616},
PAGES = {93-112},
YEAR = {1992},
EDITOR = {Jensen, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=616&spage=93},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Christensen-Petrucci/92,
AUTHOR = {Christensen, S{\o}ren and Petrucci, Laure},
TITLE = {Towards a modular analysis of coloured Petri nets},
BOOKTITLE = {Proceedings of the 13th International Conference on Application and Theory of Petri Nets, ICATPN'92 (Sheffield, UK, June 22-26, 1992)},
SERIES = {LNCS},
VOLUME = {616},
PAGES = {113-133},
YEAR = {1992},
EDITOR = {Jensen, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=616&spage=113},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Desel/92,
AUTHOR = {Desel, J{\"o}rg},
TITLE = {A proof of the rank theorem for extended free choice nets},
BOOKTITLE = {Proceedings of the 13th International Conference on Application and Theory of Petri Nets, ICATPN'92 (Sheffield, UK, June 22-26, 1992)},
SERIES = {LNCS},
VOLUME = {616},
PAGES = {134-153},
YEAR = {1992},
EDITOR = {Jensen, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=616&spage=134},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Donatelli-Sereno/92,
AUTHOR = {Donatelli, Susanna and Sereno, Matteo},
TITLE = {On the product form solution for stochastic Petri nets},
BOOKTITLE = {Proceedings of the 13th International Conference on Application and Theory of Petri Nets, ICATPN'92 (Sheffield, UK, June 22-26, 1992)},
SERIES = {LNCS},
VOLUME = {616},
PAGES = {154-172},
YEAR = {1992},
EDITOR = {Jensen, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=616&spage=154},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Findlow/92,
AUTHOR = {Findlow, Greg},
TITLE = {Obtaining deadlock-preserving skeletons for coloured nets},
BOOKTITLE = {Proceedings of the 13th International Conference on Application and Theory of Petri Nets, ICATPN'92 (Sheffield, UK, June 22-26, 1992)},
SERIES = {LNCS},
VOLUME = {616},
PAGES = {173-192},
YEAR = {1992},
EDITOR = {Jensen, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=616&spage=173},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Fleischhack/92,
AUTHOR = {Fleischhack, Hans},
TITLE = {$P$-superfairness in nets},
BOOKTITLE = {Proceedings of the 13th International Conference on Application and Theory of Petri Nets, ICATPN'92 (Sheffield, UK, June 22-26, 1992)},
SERIES = {LNCS},
VOLUME = {616},
PAGES = {193-204},
YEAR = {1992},
EDITOR = {Jensen, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=616&spage=193},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Genrich-Shapiro/92,
AUTHOR = {Genrich, Hartmann J. and Shapiro, Robert M.},
TITLE = {Formal verification of an arbiter cascade},
BOOKTITLE = {Proceedings of the 13th International Conference on Application and Theory of Petri Nets, ICATPN'92 (Sheffield, UK, June 22-26, 1992)},
SERIES = {LNCS},
VOLUME = {616},
PAGES = {205-223},
YEAR = {1992},
EDITOR = {Jensen, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=616&spage=205},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Heuser-Richter/92,
AUTHOR = {Heuser, Carlos A. and Richter, Gernot},
TITLE = {Constructs for modeling information systems with Petri nets},
BOOKTITLE = {Proceedings of the 13th International Conference on Application and Theory of Petri Nets, ICATPN'92 (Sheffield, UK, June 22-26, 1992)},
SERIES = {LNCS},
VOLUME = {616},
PAGES = {224-243},
YEAR = {1992},
EDITOR = {Jensen, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=616&spage=224},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hiraishi/92,
AUTHOR = {Hiraishi, Kunihiko},
TITLE = {Construction of a class of safe Petri nets by presenting firing sequences},
BOOKTITLE = {Proceedings of the 13th International Conference on Application and Theory of Petri Nets, ICATPN'92 (Sheffield, UK, June 22-26, 1992)},
SERIES = {LNCS},
VOLUME = {616},
PAGES = {244-262},
YEAR = {1992},
EDITOR = {Jensen, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=616&spage=244},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kemper-Bause/92,
AUTHOR = {Kemper, Peter and Bause, Falko},
TITLE = {An efficient polynomial-time algorithm to decide liveness and boundedness of free-choice nets},
BOOKTITLE = {Proceedings of the 13th International Conference on Application and Theory of Petri Nets, ICATPN'92 (Sheffield, UK, June 22-26, 1992)},
SERIES = {LNCS},
VOLUME = {616},
PAGES = {263-278},
YEAR = {1992},
EDITOR = {Jensen, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=616&spage=263},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Klas/92,
AUTHOR = {Klas, Guenter},
TITLE = {Hierarchical solution of generalized stochastic Petri nets by means of traffic processes},
BOOKTITLE = {Proceedings of the 13th International Conference on Application and Theory of Petri Nets, ICATPN'92 (Sheffield, UK, June 22-26, 1992)},
SERIES = {LNCS},
VOLUME = {616},
PAGES = {279-298},
YEAR = {1992},
EDITOR = {Jensen, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=616&spage=279},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kovalyov/92,
AUTHOR = {Kovalyov, A.V.},
TITLE = {Concurrency relations and the safety problem for Petri nets},
BOOKTITLE = {Proceedings of the 13th International Conference on Application and Theory of Petri Nets, ICATPN'92 (Sheffield, UK, June 22-26, 1992)},
SERIES = {LNCS},
VOLUME = {616},
PAGES = {299-309},
YEAR = {1992},
EDITOR = {Jensen, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=616&spage=299},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Lilius/92,
AUTHOR = {Lilius, Johan},
TITLE = {High-level nets and linear logic},
BOOKTITLE = {Proceedings of the 13th International Conference on Application and Theory of Petri Nets, ICATPN'92 (Sheffield, UK, June 22-26, 1992)},
SERIES = {LNCS},
VOLUME = {616},
PAGES = {310-327},
YEAR = {1992},
EDITOR = {Jensen, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=616&spage=310},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Savi-Xie/92,
AUTHOR = {Savi, Vanio M. and Xie, Xiaolan},
TITLE = {Liveness and boundedness analysis for Petri nets with event graph modules},
BOOKTITLE = {Proceedings of the 13th International Conference on Application and Theory of Petri Nets, ICATPN'92 (Sheffield, UK, June 22-26, 1992)},
SERIES = {LNCS},
VOLUME = {616},
PAGES = {328-347},
YEAR = {1992},
EDITOR = {Jensen, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=616&spage=328},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Teruel-Chrzastowski-Wachtel-Colom-Silva/92,
AUTHOR = {Teruel, E. and Chrz{\c{a}}stowski-Wachtel, P. and Colom, J.M. and Silva, M.},
TITLE = {On weighted $T$-systems},
BOOKTITLE = {Proceedings of the 13th International Conference on Application and Theory of Petri Nets, ICATPN'92 (Sheffield, UK, June 22-26, 1992)},
SERIES = {LNCS},
VOLUME = {616},
PAGES = {348-367},
YEAR = {1992},
EDITOR = {Jensen, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=616&spage=348},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Cutts-Rattigan/92,
AUTHOR = {Cutts, Geoff and Rattigan, Shaun},
TITLE = {Using Petri nets to develop programs for PLC systems},
BOOKTITLE = {Proceedings of the 13th International Conference on Application and Theory of Petri Nets, ICATPN'92 (Sheffield, UK, June 22-26, 1992)},
SERIES = {LNCS},
VOLUME = {616},
PAGES = {368-372},
YEAR = {1992},
EDITOR = {Jensen, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=616&spage=368},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Lemmer-Schnieder/92,
AUTHOR = {Lemmer, K. and Schnieder, E.},
TITLE = {Modelling and control of complex logistic systems for manufacturing},
BOOKTITLE = {Proceedings of the 13th International Conference on Application and Theory of Petri Nets, ICATPN'92 (Sheffield, UK, June 22-26, 1992)},
SERIES = {LNCS},
VOLUME = {616},
PAGES = {373-378},
YEAR = {1992},
EDITOR = {Jensen, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=616&spage=373},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Lloret-Roux-Algayres-Chamontin/92,
AUTHOR = {Lloret, J.C. and Roux, J.L. and Algayres, B. and Chamontin, M.},
TITLE = {Modelling and evaluation of a satellite system using EVAL, a Petri net based industrial tool},
BOOKTITLE = {Proceedings of the 13th International Conference on Application and Theory of Petri Nets, ICATPN'92 (Sheffield, UK, June 22-26, 1992)},
SERIES = {LNCS},
VOLUME = {616},
PAGES = {379-383},
YEAR = {1992},
EDITOR = {Jensen, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=616&spage=379},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{McLendon-Vidale/92,
AUTHOR = {McLendon, William W., Jr. and Vidale, Richard F.},
TITLE = {Analysis of an ADA system using coloured Petri nets and occurence graphs},
BOOKTITLE = {Proceedings of the 13th International Conference on Application and Theory of Petri Nets, ICATPN'92 (Sheffield, UK, June 22-26, 1992)},
SERIES = {LNCS},
VOLUME = {616},
PAGES = {384-388},
YEAR = {1992},
EDITOR = {Jensen, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=616&spage=384},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Varpaaniemi-Rauhamaa/92,
AUTHOR = {Varpaaniemi, Kimmo and Rauhamaa, Marko},
TITLE = {The stubborn set method in practice},
BOOKTITLE = {Proceedings of the 13th International Conference on Application and Theory of Petri Nets, ICATPN'92 (Sheffield, UK, June 22-26, 1992)},
SERIES = {LNCS},
VOLUME = {616},
PAGES = {389-393},
YEAR = {1992},
EDITOR = {Jensen, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=616&spage=389},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Wilkens-Canning-Krolak/92,
AUTHOR = {Wilkens, Linda and Canning, James and Krolak, Patrick},
TITLE = {Modeling fine grain computation via the fusion of two extended Petri nets},
BOOKTITLE = {Proceedings of the 13th International Conference on Application and Theory of Petri Nets, ICATPN'92 (Sheffield, UK, June 22-26, 1992)},
SERIES = {LNCS},
VOLUME = {616},
PAGES = {394-398},
YEAR = {1992},
EDITOR = {Jensen, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=616&spage=394},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}