Publikationen des Jahres 1985
Bücher und Konferenzbände
Wolfgang Reisig. Systementwurf mit Netzen. Springer, 1985.
@Book{ Reisig1985_semn, author = {Wolfgang Reisig}, title = {{Systementwurf mit Netzen}}, publisher = {Springer}, year = 1985, isbn = {3-540-13786-6} }Grzegorz Rozenberg, Hartmann J. Genrich, and Gérard Roucairol, editors. Advances in Petri Nets 1984, European Workshop on Applications and Theory in Petri Nets, covers the last two years which include the workshop 1983 in Toulouse and the workshop 1984 in Aarhus, selected papers, volume 188 of Lecture Notes in Computer Science, 1985. Springer.
@Proceedings{ RozenbergHGR1985_atpn, title = {{Advances in Petri Nets 1984, European Workshop on Applications and Theory in Petri Nets, covers the last two years which include the workshop 1983 in Toulouse and the workshop 1984 in Aarhus, selected papers}}, year = 1985, editor = {Grzegorz Rozenberg and Hartmann J. Genrich and G{\'e}rard Roucairol}, volume = 188, series = {Lecture Notes in Computer Science}, publisher = {Springer}, booktitle = {{European Workshop on Applications and Theory in Petri Nets}}, isbn = {3-540-15204-0} }
Publikationen in Zeitschriften und Büchern
Wolfgang Reisig. On the Semantics of Petri Nets.. Formal Models in Programming, IFIP 1985, pp 347--372, 1985.
@Article{ Reisig1985_ifip, author = {Wolfgang Reisig}, title = {{On the Semantics of Petri Nets.}}, journal = {Formal Models in Programming, IFIP 1985}, year = 1985, pages = {347--372}, editor = {E.J. Neuhold and G. Chroust}, publisher = {North-Holland}, address = {Elsevier Science Publishers B. V.} }Wolfgang Reisig. Petri Nets with Individual Tokens. Theoretical Computer Science, 41:185-213, 1985.
@Article{ Reisig1985_tcs, author = {Wolfgang Reisig}, title = {{Petri Nets with Individual Tokens}}, journal = {Theoretical Computer Science}, year = 1985, volume = 41, pages = {185-213} }
Theorie der Programmierung | | XHTML 1.0 | Wed Nov 5 08:30:01 2008

