@incollection{Petri/87,
AUTHOR = {Petri, C.A.},
TITLE = {Concurrence theory},
BOOKTITLE = {Proceedings of an advanced course in Petri nets: Central models and their properties (Part I) (Bad Honnef, September 1986)},
SERIES = {LNCS},
VOLUME = {254},
PAGES = {4-24},
YEAR = {1987},
EDITOR = {Brauer, W. and Reisig, W. and Rozenberg, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=254&spage=4},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Thiagarajan/87,
AUTHOR = {Thiagarajan, P.S.},
TITLE = {Elementary net systems},
BOOKTITLE = {Proceedings of an advanced course in Petri nets: Central models and their properties (Part I) (Bad Honnef, September 1986)},
SERIES = {LNCS},
VOLUME = {254},
PAGES = {26-59},
YEAR = {1987},
EDITOR = {Brauer, W. and Reisig, W. and Rozenberg, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=254&spage=26},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Rozenberg/87,
AUTHOR = {Rozenberg, G.},
TITLE = {Behaviour of elementary net systems},
BOOKTITLE = {Proceedings of an advanced course in Petri nets: Central models and their properties (Part I) (Bad Honnef, September 1986)},
SERIES = {LNCS},
VOLUME = {254},
PAGES = {60-94},
YEAR = {1987},
EDITOR = {Brauer, W. and Reisig, W. and Rozenberg, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=254&spage=60},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Fernandez/87,
AUTHOR = {Fern{\'a}ndez, C.},
TITLE = {Non-sequential processes},
BOOKTITLE = {Proceedings of an advanced course in Petri nets: Central models and their properties (Part I) (Bad Honnef, September 1986)},
SERIES = {LNCS},
VOLUME = {254},
PAGES = {95-115},
YEAR = {1987},
EDITOR = {Brauer, W. and Reisig, W. and Rozenberg, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=254&spage=95},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Reisig/87,
AUTHOR = {Reisig, W.},
TITLE = {Place/transition systems},
BOOKTITLE = {Proceedings of an advanced course in Petri nets: Central models and their properties (Part I) (Bad Honnef, September 1986)},
SERIES = {LNCS},
VOLUME = {254},
PAGES = {117-141},
YEAR = {1987},
EDITOR = {Brauer, W. and Reisig, W. and Rozenberg, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=254&spage=117},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Lautenbach/87,
AUTHOR = {Lautenbach, K.},
TITLE = {Linear algebraic techniques for place/transition nets},
BOOKTITLE = {Proceedings of an advanced course in Petri nets: Central models and their properties (Part I) (Bad Honnef, September 1986)},
SERIES = {LNCS},
VOLUME = {254},
PAGES = {142-167},
YEAR = {1987},
EDITOR = {Brauer, W. and Reisig, W. and Rozenberg, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=254&spage=142},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Best/87,
AUTHOR = {Best, E.},
TITLE = {Structure theory of Petri nets: the free choice hiatus},
BOOKTITLE = {Proceedings of an advanced course in Petri nets: Central models and their properties (Part I) (Bad Honnef, September 1986)},
SERIES = {LNCS},
VOLUME = {254},
PAGES = {168-205},
YEAR = {1987},
EDITOR = {Brauer, W. and Reisig, W. and Rozenberg, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=254&spage=168},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Genrich/87,
AUTHOR = {Genrich, H.J.},
TITLE = {Predicate/transition nets},
BOOKTITLE = {Proceedings of an advanced course in Petri nets: Central models and their properties (Part I) (Bad Honnef, September 1986)},
SERIES = {LNCS},
VOLUME = {254},
PAGES = {207-247},
YEAR = {1987},
EDITOR = {Brauer, W. and Reisig, W. and Rozenberg, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=254&spage=207},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Jensen/87,
AUTHOR = {Jensen, K.},
TITLE = {Coloured Petri nets},
BOOKTITLE = {Proceedings of an advanced course in Petri nets: Central models and their properties (Part I) (Bad Honnef, September 1986)},
SERIES = {LNCS},
VOLUME = {254},
PAGES = {248-299},
YEAR = {1987},
EDITOR = {Brauer, W. and Reisig, W. and Rozenberg, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=254&spage=248},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Memmi-Vautherin/87,
AUTHOR = {Memmi, G. and Vautherin, J.},
TITLE = {Analysing nets by the invariant method},
BOOKTITLE = {Proceedings of an advanced course in Petri nets: Central models and their properties (Part I) (Bad Honnef, September 1986)},
SERIES = {LNCS},
VOLUME = {254},
PAGES = {300-336},
YEAR = {1987},
EDITOR = {Brauer, W. and Reisig, W. and Rozenberg, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=254&spage=300},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Goltz/87,
AUTHOR = {Goltz, U.},
TITLE = {Synchronic distance},
BOOKTITLE = {Proceedings of an advanced course in Petri nets: Central models and their properties (Part I) (Bad Honnef, September 1986)},
SERIES = {LNCS},
VOLUME = {254},
PAGES = {338-358},
YEAR = {1987},
EDITOR = {Brauer, W. and Reisig, W. and Rozenberg, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=254&spage=338},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Berthelot/87,
AUTHOR = {Berthelot, G.},
TITLE = {Transformations and decompositions of nets},
BOOKTITLE = {Proceedings of an advanced course in Petri nets: Central models and their properties (Part I) (Bad Honnef, September 1986)},
SERIES = {LNCS},
VOLUME = {254},
PAGES = {359-376},
YEAR = {1987},
EDITOR = {Brauer, W. and Reisig, W. and Rozenberg, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=254&spage=359},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Valk/87,
AUTHOR = {Valk, R.},
TITLE = {Infinite behaviour and fairness},
BOOKTITLE = {Proceedings of an advanced course in Petri nets: Central models and their properties (Part I) (Bad Honnef, September 1986)},
SERIES = {LNCS},
VOLUME = {254},
PAGES = {377-396},
YEAR = {1987},
EDITOR = {Brauer, W. and Reisig, W. and Rozenberg, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=254&spage=377},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Jantzen/87,
AUTHOR = {Jantzen, M.},
TITLE = {Language theory of Petri nets},
BOOKTITLE = {Proceedings of an advanced course in Petri nets: Central models and their properties (Part I) (Bad Honnef, September 1986)},
SERIES = {LNCS},
VOLUME = {254},
PAGES = {397-412},
YEAR = {1987},
EDITOR = {Brauer, W. and Reisig, W. and Rozenberg, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=254&spage=397},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Jantzen/87a,
AUTHOR = {Jantzen, M.},
TITLE = {Complexity of place/transition nets},
BOOKTITLE = {Proceedings of an advanced course in Petri nets: Central models and their properties (Part I) (Bad Honnef, September 1986)},
SERIES = {LNCS},
VOLUME = {254},
PAGES = {413-434},
YEAR = {1987},
EDITOR = {Brauer, W. and Reisig, W. and Rozenberg, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=254&spage=413},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Roucairol/87a,
AUTHOR = {Roucairol, G.},
TITLE = {FIFO-nets},
BOOKTITLE = {Proceedings of an advanced course in Petri nets: Central models and their properties (Part I) (Bad Honnef, September 1986)},
SERIES = {LNCS},
VOLUME = {254},
PAGES = {436-459},
YEAR = {1987},
EDITOR = {Brauer, W. and Reisig, W. and Rozenberg, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=254&spage=436},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Pagnoni/87,
AUTHOR = {Pagnoni, A.},
TITLE = {Stochastic nets and performance evaluation},
BOOKTITLE = {Proceedings of an advanced course in Petri nets: Central models and their properties (Part I) (Bad Honnef, September 1986)},
SERIES = {LNCS},
VOLUME = {254},
PAGES = {460-478},
YEAR = {1987},
EDITOR = {Brauer, W. and Reisig, W. and Rozenberg, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=254&spage=460},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}