Wolf, Karsten2018-01-052018-01-0520142014https://dl.gi.de/handle/20.500.12116/9240Petrinetze wurden vorgeschlagen, um Schwächen klassischer Automatenmodelle zu beheben. Explizites Model Checking übersetzt jedoch zunächst ein Petrinetz in einen klassischen Automaten. Damit gibt man zunächst die Vorteile von Petrinetzen scheinbar wieder auf. Wir zeigen jedoch, dass die wichtigsten Techniken des expliziten Model Checking besonders effizient sind, wenn sie grundlegende Prinzipien von Petrinetzen berücksichtigen. Dieser Beitrag beschreibt Resultate, die auf praktischen Erfahrungen mit einem petrinetzbasierten Werkzeug zum expliziten Model Checking beruhen.Text/Journal Article1432-122X