For the most recent entries see the Petri Nets Newsletter.

Logik-Modelle in Netzen mit Transitionsmarken.

Kruse, R.J.

In: Philippi, Stephan: Fachberichte Informatik, No. 7-2000: 7. Workshop Algorithmen und Werkzeuge für Petrinetze, 2.-3. Oktober 2000, Koblenz, Germany, pages 13-18. Universität Koblenz-Landau, Institut für Informatik, October 2000.

Abstract: In der Logik versteht man unter einem Modell eine passende Belegung, die eine gegebene Formel erfüllt. Wir beschreiben eine Netzdarstellung für logische Formeln, bei der bestimmte Simulationen und bestimmte Invarianten den Modellen der jeweils zugrundeliegenden Formeln entsprechen. Dabei werden Netze mit Stellen- und Transitionsmarken verwendet.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography