Wedde, H.

• Wedde, H.:
  An Iterative and Starvation-Free Solution for a General Class of Distributed Control Problems Based on Interaction Primitives. 1983.

• Busch, R.; Wedde, H.:
  Modeling and Analyzing Distributed Control by Use of Interaction Systems. 1982.

• Wedde, H.:
  Interaction Systems: A General Theory for Modeling Distributed Systems. 1982.

• Wedde, H.:
  A Starvation-Free Solution of the Dinning Philosophers' Problem by Use of Interaction Systems. 1981.

• Kraft, N.; Wedde, H.:
  Inducing Patterns of Behaviour in Distributed System Parts. 1980.

• Wedde, H.:
  Fundamentals of a Theory of Infringements. 1980.

• Busch, R.; Wedde, H.:
  Ein Modell zur Darstellung und Entwicklung dynamischer Zuordnungen dargestellt am Beispiel der Zuordnung von Flugpersonal. 1980.

• Kraft, N.; Wedde, H.:
  Modelling Principles of Formal Communication by Use of Interaction Systems. 1980.

• Wedde, H.:
  Deriving a Deadlock-Free and Starvation-Free Solution for the Philosopher's Problem. 1980.

• Maggiolo-Schettini, A.; Wedde, H.; Winkowski, J.:
  Modeling a Solution for a Control Problem in Distributed Systems by Restrictions. 1979.

• Wedde, H.:
  A Formal Method to Deal with Uncertainty in Systems with Concurrent Processes. 1979.

• Wedde, H.:
  Control of Interacting Processes on the Basis of Infringements. 1979.

• Schiffers, M.; Wedde, H.:
  Analyzing Program Solutions of Coordination Problems by CP-Nets. 1978.

• Wedde, H.:
  Grundzüge einer Theorie der Regelverstösse. 1977.

• Wedde, H.; Winkowski, J.:
  Determining Processes by Violations. 1977.

• Lautenbach, K.; Wedde, H.:
  Generating Control Mechanism by Restrictions. 1976.

• Wedde, H.:
  Lose Kopplung von Systemkomponenten. 1975.

Back to the Petri Nets Bibliography