Publikationen des Jahres 1986

Publikationen in Zeitschriften und Büchern

• Wolfgang Reisig. Anforderungsbeschreibung und Systementwurf mit Petri-Netzen.. Handbuch der modernen Datenverarbeitung, Heft 130: Formale Methoden in der Systementwicklung, (130): 81--96, July 1986.
  

  @Article{ Reisig1986_hmdv,
  author = {Wolfgang Reisig},
  title = {{Anforderungsbeschreibung und Systementwurf mit Petri-Netzen.}},
  journal = {Handbuch der modernen Datenverarbeitung, Heft 130: Formale Methoden in der Systementwicklung},
  year = 1986,
  number = 130,
  pages = {81--96},
  month = jul,
  publisher = {Forkel-Verlag} 
  }
  

Konferenzbeiträge und Beiträge auf Workshops

• Stefan Drees, Dominik Gomm, Helmut Plünnecke, Wolfgang Reisig, and Rolf Walter. Bibliography of Petri nets. In Grzegorz Rozenberg, editor, European Workshop on Applications and Theory of Petri Nets, volume 266 of Lecture Notes in Computer Science, pages 309-451, 1986. Springer.
  

  @InProceedings{ DreesGPRW1986_atpn,
  author = {Stefan Drees and Dominik Gomm and Helmut Pl{\"u}nnecke and Wolfgang Reisig and Rolf Walter},
  title = {{Bibliography of Petri nets}},
  booktitle = {{European Workshop on Applications and Theory of Petri Nets}},
  year = 1986,
  pages = {309-451},
  crossref = {Rozenberg1987_atpn} 
  }
  

• Wolfgang Reisig. A strong part of concurrency.. In Grzegorz Rozenberg, editor, European Workshop on Applications and Theory of Petri Nets, volume 266 of Lecture Notes in Computer Science, pages 238-272, 1986. Springer.
  

  @InProceedings{ Reisig1986_atpn,
  author = {Wolfgang Reisig},
  title = {{A strong part of concurrency.}},
  booktitle = {{European Workshop on Applications and Theory of Petri Nets}},
  year = 1986,
  pages = {238-272},
  crossref = {Rozenberg1987_atpn} 
  }
  

• Wolfgang Reisig. Embedded System Description Using Petri Nets. In Albert T. Kündig, Richard E. Bührer, and Jacques Dähler, editors, Embedded Systems, volume 284 of Lecture Notes in Computer Science, pages 18-62, 1986. Springer.
  

  @InProceedings{ Reisig1986_es,
  author = {Wolfgang Reisig},
  title = {{Embedded System Description Using Petri Nets}},
  booktitle = {{Embedded Systems}},
  year = 1986,
  pages = {18-62},
  crossref = {KuendigBD1987_es} 
  }
  

• Wolfgang Reisig. Petri Nets in Software Engineering. In Wilfried Brauer, Wolfgang Reisig, and Grzegorz Rozenberg, editors, Advances in Petri Nets, volume 255 of Lecture Notes in Computer Science, pages 63-96, 1986. Springer.
  

  @InProceedings{ Reisig1986_apn_2,
  author = {Wolfgang Reisig},
  title = {{Petri Nets in Software Engineering}},
  booktitle = {{Advances in Petri Nets}},
  year = 1986,
  pages = {63-96},
  crossref = {BrauerRR1987_apn_2} 
  }
  

• Wolfgang Reisig. Place/Transition Systems. In Wilfried Brauer, Wolfgang Reisig, and Grzegorz Rozenberg, editors, Advances in Petri Nets, volume 254 of Lecture Notes in Computer Science, pages 117-141, 1986. Springer.
  

  @InProceedings{ Reisig1986_apn_1,
  author = {Wolfgang Reisig},
  title = {{Place/Transition Systems}},
  booktitle = {{Advances in Petri Nets}},
  year = 1986,
  pages = {117-141},
  crossref = {BrauerRR1987_apn_1} 
  }
  

zurück zur Übersicht