Schmidt, H.-W.

• Schmidt, Heinz-W.; Krämer, Bernd J.; Peake, Ian D.; Xie, Jue; Thomas, Ian; Fay, Alexander; Bort, Peter:
  Modelling predictable component-based distributed control architectures. 2003.

• Krämer, B.; Schmidt, H.W.:
  Types and Modules for Net Specifications. 1991.

• Kramer, B.; Schmidt, H.W.:
  Architecture and functionality of a specification environment for distributed software. 1990.

• Schmidt, Heinz W.:
  Prototyping and Analysis of Non-Sequential Systems Using Predicate-Event Nets. 1990.

• Schmidt, Heinz W.:
  Analysis of Petri Nets in the GRASPIN Environment. 1990.

• Schmidt, H.W.:
  Specification and Correct Implementation of Non-sequential Systems Combining Abstract Data Types and Petri Nets. 1989.

• Krämer, B.; Schmidt, H.W.:
  Types and Modules for Net Specifications. 1987.

• Krämer, B.; Schmidt, H.W.:
  The SEGRAS Syntax. 1985.

• Schmidt, H.W.; Papazoglou, M.P.:
  Abstract Modular Implementation of Processes by Predicate/Event-Systems. 1985.

• Krämer, B.; Schmidt, H.W.:
  The SEGRAS Specification Language: Conceptual Overview. 1985.

• Schmidt, H.W.:
  Towards a Net-Theoretic Notion of Type based Predicate-Transition Nets. 1984.

• Krämer, B.; Schmidt, H.W.:
  A High Level Net Language for Stepwise Modeling of Organizational Systems. 1983.

• Kreowski, H.J.; Schmidt, H.W.:
  Some Algebraic Concepts of a Petri-Net Based Specification Language SEGRAS and Their Initial Semantics. 1983.

• Krämer, B.; Schmidt, H.W.:
  Der Entwurf nebenläufiger Systeme mit Handlungs-Entscheidungs-Netzen. 1981.

• Krämer, B.; Schmidt, H.W.:
  Interactive Software Development by Stepwise Formalisation. 1981.

Back to the Petri Nets Bibliography