Skip to content
Licensed Unlicensed Requires Authentication Published by Oldenbourg Wissenschaftsverlag September 25, 2009

Prüfsicherheit über Petrinetze (Inspection Assurance via Petrinets)

  • M. Merget , T. Pfeifer and K.P. Pieper
From the journal tm - Technisches Messen

Abstract

In weiten Bereichen der Softwareentwicklung und zunehmend in der Produktionssteuerung sind Petrinetze zum Standwerkzeug zur Abbildung und Simulation verteilter, paralleler Prozesse geworden. Im Qualitätsmanagement jedoch kamen Petrinetze bisher nicht zum Einsatz, obwohl sie sowohl für die Modellierung und Simulation realer Prozesse als auch als Grundlage eines Prüf- und Dokumentationssystems dienen können, wie in diesem Beitrag gezeigt werden soll.

Im Rahmen dieses Beitrags wird ein Petrinetzmodell präsentiert, das die Grundlage für eine wirtschaftliche Prüfplanung, Risikoabschätzung sowie Prozess- und Produktdokumentation bildet. Dieses Modell wird weiter in einem Software-Prototyp zur Simulation umgesetzt.

Abstract

Within wide fields of software development and in the production control petrinets became the standard device for modelling and simulation of distributed, parallel processes. In the quality management however petrinets were not used so far, although they can serve both for the modelling and simulation of real processes and as basis of a test and a documentation system, as is to be demonstrated in this essay.

In the context of this essay a petrinet model is presented, which forms the basis for an economic inspection planning, a risk analysis and a process and product documentation. This model is continued to transfer in a software prototype for simulation.

Published Online: 2009-09-25
Published in Print: 2001-07-01

© 2001 by Walter de Gruyter Berlin/Boston

Downloaded on 25.2.2024 from https://www.degruyter.com/document/doi/10.1524/teme.2001.68.7-8.333/pdf
Scroll to top button