Publikationen des Jahres 1987

Bücher und Konferenzbände

• Wolfgang Reisig. Das Verhalten verteilter Systeme, number 170 of GMD-Bericht. Oldenbourg Berichte der GMD, München, 1987. Note: Habilitationsschrift.

  Abstract: Modern information processing devices are normally considered distributed systems. Then particular processes are generally represented by sequences of states and/or transitions. In this book a different approach is developed where processes are only derived from the causal dependicies. The conceptual and practical advantages are explained using the problem of the ``dining philosophers''.

  
  

  @Book{ Reisig1987_habil,
  author = {Wolfgang Reisig},
  title = {{Das Verhalten verteilter Systeme}},
  publisher = {Oldenbourg Berichte der GMD},
  year = 1987,
  series = {GMD-Bericht},
  address = {München},
  note = {Habilitationsschrift.},
  number = 170,
  abstract = {Modern information processing devices are normally considered distributed systems. Then particular processes are generally represented by sequences of states and/or transitions. In this book a different approach is developed where processes are only derived from the causal dependicies. The conceptual and practical advantages are explained using the problem of the ``dining philosophers''.} 
  }
  

• Wolfgang Reisig. Towards a Temporal Logic for True Concurrency. Part I: Linear Time Propositional Logic, number 277 of Arbeitspapiere der GMD. Gesellschaft für Mathematik und Datenverarbeitung mbH, Sankt Augustin, Arbeitspapiere der GMD, 1987.

  Abstract: A logic is introduced, tailored for causality based partial order semantics of nonsequential systems. Properties which are essential for such systems can be formulated in the logic. Technically, the system model we consider is the most fundamental version of Petri Nets. The logic resembles to a liniear time propositional logic, applied to a universe of sets of partially ordered potential states.

  
  

  @Book{ Reisig1987_gmd,
  author = {Wolfgang Reisig},
  title = {{Towards a Temporal Logic for True Concurrency. Part I: Linear Time Propositional Logic}},
  publisher = {Gesellschaft für Mathematik und Datenverarbeitung mbH, Sankt Augustin, Arbeitspapiere der GMD},
  year = 1987,
  series = {Arbeitspapiere der GMD},
  number = 277,
  abstract = {A logic is introduced, tailored for causality based partial order semantics of nonsequential systems. Properties which are essential for such systems can be formulated in the logic. Technically, the system model we consider is the most fundamental version of Petri Nets. The logic resembles to a liniear time propositional logic, applied to a universe of sets of partially ordered potential states.} 
  }
  

• Wilfried Brauer, Wolfgang Reisig, and Grzegorz Rozenberg, editors. Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986, Part I, Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986, volume 254 of Lecture Notes in Computer Science, 1987. Springer.
  

  @Proceedings{ BrauerRR1987_apn_1,
  title = {{Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986, Part I, Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986}},
  year = 1987,
  editor = {Wilfried Brauer and Wolfgang Reisig and Grzegorz Rozenberg},
  volume = 254,
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  booktitle = {{Advances in Petri Nets}},
  isbn = {3-540-17905-4} 
  }
  

• Wilfried Brauer, Wolfgang Reisig, and Grzegorz Rozenberg, editors. Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986, Part II, Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986, volume 255 of Lecture Notes in Computer Science, 1987. Springer.
  

  @Proceedings{ BrauerRR1987_apn_2,
  title = {{Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986, Part II, Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986}},
  year = 1987,
  editor = {Wilfried Brauer and Wolfgang Reisig and Grzegorz Rozenberg},
  volume = 255,
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  booktitle = {{Advances in Petri Nets}},
  isbn = {3-540-17906-2} 
  }
  

• Albert T. Kündig, Richard E. Bührer, and Jacques Dähler, editors. Embedded Systems: New Approaches to Their Formal Description and Design, An Advances Course, Zürich, Switzerland, March 5-7, 1986, volume 284 of Lecture Notes in Computer Science, 1987. Springer.
  

  @Proceedings{ KuendigBD1987_es,
  title = {{Embedded Systems: New Approaches to Their Formal Description and Design, An Advances Course, Z{\"u}rich, Switzerland, March 5-7, 1986}},
  year = 1987,
  editor = {Albert T. Kündig and Richard E. Bührer and Jacques Dähler},
  volume = 284,
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  booktitle = {{Embedded Systems}},
  isbn = {3-540-18581-X} 
  }
  

• Grzegorz Rozenberg, editor. Advances in Petri Nets 1987, covers the 7th European Workshop on Applications and Theory of Petri Nets, Oxford, UK, June 1986, volume 266 of Lecture Notes in Computer Science, 1987. Springer.
  

  @Proceedings{ Rozenberg1987_atpn,
  title = {{Advances in Petri Nets 1987, covers the 7th European Workshop on Applications and Theory of Petri Nets, Oxford, UK, June 1986}},
  year = 1987,
  editor = {Grzegorz Rozenberg},
  volume = 266,
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  booktitle = {{Applications and Theory of Petri Nets}},
  isbn = {3-540-18086-9} 
  }
  

Publikationen in Zeitschriften und Büchern

• E. Smith and Wolfgang Reisig. The Semantics of a Net is a Net: An Exercise in General Net Theory. Concurrency and Nets - Advances in Petri Nets, pp 461--480, 1987.
  

  @Article{ SmithR1987_cnapn,
  author = {E. Smith and Wolfgang Reisig},
  title = {{The Semantics of a Net is a Net: An Exercise in General Net Theory}},
  journal = {Concurrency and Nets - Advances in Petri Nets},
  year = 1987,
  pages = {461--480},
  editor = {K. Voss and H.J. Genrich and G. Rozenberg},
  publisher = {Springer-Verlag},
  address = {Berlin} 
  }
  

Konferenzbeiträge und Beiträge auf Workshops

• Wolfgang Reisig and J. Vautherin. An Algebraic Approach to High Level Petri Nets. In Proceedings of the Eighth European Workshop on Application and Theory of Petri Nets, Spain, pages 51--72, 1987. Universidad de Zaragoza.
  

  @InProceedings{ Reisig1987_atpn,
  author = {Wolfgang Reisig and J. Vautherin},
  title = {{An Algebraic Approach to High Level Petri Nets}},
  booktitle = {{Proceedings of the Eighth European Workshop on Application and Theory of Petri Nets}},
  year = 1987,
  pages = {51--72},
  address = {Spain},
  publisher = {Universidad de Zaragoza} 
  }
  

zurück zur Übersicht