Petrinetze – Ein anschaulicher Formalismus der Nebenläufigkeit (Teil 2) (Petri Nets – An Intuitive Formalism for Concurrency (Part 2))

Peter Niebert

Abstract

Der Beitrag gibt eine kurze Einführung in Petrinetze zur Modellierung nebenläufiger Systeme. Im ersten Teil wurden Stellen-Transitionsnetze als klassische Repräsentanten der Petrinetze eingeführt, sowie grundlegende Modellierungskonzepte erläutert. In diesem zweiten Teil werden verschiedene Erweiterungen der Petrinetze diskutiert, welche die Ausdrucksstärke und Handhabbarkeit erheblich steigern und für größere Projekte unumgänglich sind.

Purchase article
Get instant unlimited access to the article.
$42.00
Log in
Already have access? Please log in.


or
Log in with your institution

Journal + Issues

AT – Automatisierungstechnik covers the entire field of automation technology. It presents the development of theoretical procedures and their possible applications. Topics include new discoveries about the development and application of methods. It presents the function, properties, and applications of tools and includes contributions from the worlds of research, academia, and industry.

Search