@incollection{Jensen/87a,
AUTHOR = {Jensen, K.},
TITLE = {Computer tools for construction, modification and analysis of Petri nets},
BOOKTITLE = {Proceedings of an advanced course in Petri nets: Applications and relationships to other models of concurrency (Part II) (Bad Honnef, September 1986)},
SERIES = {LNCS},
VOLUME = {255},
PAGES = {4-19},
YEAR = {1987},
EDITOR = {Brauer, W. and Reisig, W. and Rozenberg, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=255&spage=4},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Feldbrugge-Jensen/87,
AUTHOR = {Feldbrugge, F. and Jensen, K.},
TITLE = {Petri net tool overview 1986},
BOOKTITLE = {Proceedings of an advanced course in Petri nets: Applications and relationships to other models of concurrency (Part II) (Bad Honnef, September 1986)},
SERIES = {LNCS},
VOLUME = {255},
PAGES = {20-61},
YEAR = {1987},
EDITOR = {Brauer, W. and Reisig, W. and Rozenberg, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=255&spage=20},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Reisig/87a,
AUTHOR = {Reisig, W.},
TITLE = {Petri nets in software engineering},
BOOKTITLE = {Proceedings of an advanced course in Petri nets: Applications and relationships to other models of concurrency (Part II) (Bad Honnef, September 1986)},
SERIES = {LNCS},
VOLUME = {255},
PAGES = {63-96},
YEAR = {1987},
EDITOR = {Brauer, W. and Reisig, W. and Rozenberg, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=255&spage=63},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Voss/87,
AUTHOR = {Voss, K.},
TITLE = {Nets in data bases},
BOOKTITLE = {Proceedings of an advanced course in Petri nets: Applications and relationships to other models of concurrency (Part II) (Bad Honnef, September 1986)},
SERIES = {LNCS},
VOLUME = {255},
PAGES = {97-135},
YEAR = {1987},
EDITOR = {Brauer, W. and Reisig, W. and Rozenberg, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=255&spage=97},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Diaz/87,
AUTHOR = {Diaz, M.},
TITLE = {Petri net based models in the specification and verification of protocols},
BOOKTITLE = {Proceedings of an advanced course in Petri nets: Applications and relationships to other models of concurrency (Part II) (Bad Honnef, September 1986)},
SERIES = {LNCS},
VOLUME = {255},
PAGES = {135-170},
YEAR = {1987},
EDITOR = {Brauer, W. and Reisig, W. and Rozenberg, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=255&spage=135},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Oberquelle/87,
AUTHOR = {Oberquelle, H.},
TITLE = {Human-machine interaction and role/function/action-nets},
BOOKTITLE = {Proceedings of an advanced course in Petri nets: Applications and relationships to other models of concurrency (Part II) (Bad Honnef, September 1986)},
SERIES = {LNCS},
VOLUME = {255},
PAGES = {171-190},
YEAR = {1987},
EDITOR = {Brauer, W. and Reisig, W. and Rozenberg, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=255&spage=171},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Valette/87,
AUTHOR = {Valette, R.},
TITLE = {Nets in production systems},
BOOKTITLE = {Proceedings of an advanced course in Petri nets: Applications and relationships to other models of concurrency (Part II) (Bad Honnef, September 1986)},
SERIES = {LNCS},
VOLUME = {255},
PAGES = {191-217},
YEAR = {1987},
EDITOR = {Brauer, W. and Reisig, W. and Rozenberg, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=255&spage=191},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Valk/87a,
AUTHOR = {Valk, R.},
TITLE = {Nets in computer organization},
BOOKTITLE = {Proceedings of an advanced course in Petri nets: Applications and relationships to other models of concurrency (Part II) (Bad Honnef, September 1986)},
SERIES = {LNCS},
VOLUME = {255},
PAGES = {218-233},
YEAR = {1987},
EDITOR = {Brauer, W. and Reisig, W. and Rozenberg, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=255&spage=218},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Voss/87a,
AUTHOR = {Voss, K.},
TITLE = {Nets in office automation},
BOOKTITLE = {Proceedings of an advanced course in Petri nets: Applications and relationships to other models of concurrency (Part II) (Bad Honnef, September 1986)},
SERIES = {LNCS},
VOLUME = {255},
PAGES = {234-257},
YEAR = {1987},
EDITOR = {Brauer, W. and Reisig, W. and Rozenberg, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=255&spage=234},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Baer/87,
AUTHOR = {Baer, J.L.},
TITLE = {Modelling architectural features with Petri nets},
BOOKTITLE = {Proceedings of an advanced course in Petri nets: Applications and relationships to other models of concurrency (Part II) (Bad Honnef, September 1986)},
SERIES = {LNCS},
VOLUME = {255},
PAGES = {258-277},
YEAR = {1987},
EDITOR = {Brauer, W. and Reisig, W. and Rozenberg, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=255&spage=258},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Mazurkiewicz/87,
AUTHOR = {Mazurkiewicz, A.},
TITLE = {Trace theory},
BOOKTITLE = {Proceedings of an advanced course in Petri nets: Applications and relationships to other models of concurrency (Part II) (Bad Honnef, September 1986)},
SERIES = {LNCS},
VOLUME = {255},
PAGES = {279-324},
YEAR = {1987},
EDITOR = {Brauer, W. and Reisig, W. and Rozenberg, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=255&spage=279},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Winskel/87a,
AUTHOR = {Winskel, G.},
TITLE = {Event structures},
BOOKTITLE = {Proceedings of an advanced course in Petri nets: Applications and relationships to other models of concurrency (Part II) (Bad Honnef, September 1986)},
SERIES = {LNCS},
VOLUME = {255},
PAGES = {325-392},
YEAR = {1987},
EDITOR = {Brauer, W. and Reisig, W. and Rozenberg, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=255&spage=325},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Nielsen/87,
AUTHOR = {Nielsen, M.},
TITLE = {CCS - and its relationship to net theory},
BOOKTITLE = {Proceedings of an advanced course in Petri nets: Applications and relationships to other models of concurrency (Part II) (Bad Honnef, September 1986)},
SERIES = {LNCS},
VOLUME = {255},
PAGES = {393-415},
YEAR = {1987},
EDITOR = {Brauer, W. and Reisig, W. and Rozenberg, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=255&spage=393},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Best/87a,
AUTHOR = {Best, E.},
TITLE = {COSY: Its relation to nets and to CSP},
BOOKTITLE = {Proceedings of an advanced course in Petri nets: Applications and relationships to other models of concurrency (Part II) (Bad Honnef, September 1986)},
SERIES = {LNCS},
VOLUME = {255},
PAGES = {416-440},
YEAR = {1987},
EDITOR = {Brauer, W. and Reisig, W. and Rozenberg, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=255&spage=416},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Olderog/87a,
AUTHOR = {Olderog, E.R.},
TITLE = {TCSP: Theory of communicating sequential processes},
BOOKTITLE = {Proceedings of an advanced course in Petri nets: Applications and relationships to other models of concurrency (Part II) (Bad Honnef, September 1986)},
SERIES = {LNCS},
VOLUME = {255},
PAGES = {441-465},
YEAR = {1987},
EDITOR = {Brauer, W. and Reisig, W. and Rozenberg, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=255&spage=441},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kluge/87,
AUTHOR = {Kluge, W.},
TITLE = {Reduction, data flow and control flow models of computation},
BOOKTITLE = {Proceedings of an advanced course in Petri nets: Applications and relationships to other models of concurrency (Part II) (Bad Honnef, September 1986)},
SERIES = {LNCS},
VOLUME = {255},
PAGES = {466-498},
YEAR = {1987},
EDITOR = {Brauer, W. and Reisig, W. and Rozenberg, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=255&spage=466},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Petri/87a,
AUTHOR = {Petri, C.A.},
TITLE = {``Forgotten topics'' of net theory},
BOOKTITLE = {Proceedings of an advanced course in Petri nets: Applications and relationships to other models of concurrency (Part II) (Bad Honnef, September 1986)},
SERIES = {LNCS},
VOLUME = {255},
PAGES = {500-514},
YEAR = {1987},
EDITOR = {Brauer, W. and Reisig, W. and Rozenberg, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=255&spage=500},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}