Thieler-Mevissen, G.

• Thieler-Mevissen, G.:
  Korrektheit des Netzmodells für den CCR-Algorithmus - Entwurf eines Verfahrens zur parametrisierten Erreichbarkeitsanalyse. 1988.

• Thieler-Mevissen, G.:
  Anwendungen der Netztheorie zur formalen Systemspezifikation. 1987.

• Thieler-Mevissen, G.:
  Existential Quantifiers in Predicate-Fact-Nets. 1987.

• Thieler-Mevissen, G.:
  Computer als Kommunikationsmedium. 1980.

• Thieler-Mevissen, G.:
  Netze für Anfänger. 1979.

• Thieler-Mevissen, G.:
  Netztheoretische Überlegungen zu einer Gesetzgebungstheorie. 1978.

• Thieler-Mevissen, G.:
  Die Struktur der Violations eines Systems. 1978.

• Genrich, H.J.; Thieler-Mevissen, G.:
  The Calculus of Facts. 1976.

• Thieler-Mevissen, G.:
  The Petri Net Calculus of Predicate Logic. 1976.

• Thieler-Mevissen, G.:
  Eine der Prädikatenlogik äquivalente Darstellung von Aussagen durch Netze. 1975.

Back to the Petri Nets Bibliography