Technical Report
Evaluation of Petri Net and Automata Based Description Techniques: An Industrial Case Study
Author(s): Alexander Sabbah, Robert Sandner
Year: 1999
Number: TUM-I9923
Editor:
CR Classification: D2.2,D2.1,D1.7,J.2,D3.2
CR General Terms: Visual modeling languages
Keywords: modeling languages, UML, automata, petri nets, design languages
Abstract:In this case study, three description techniques representing Petri net
and
automata based approaches are applied on an industrial application:
The
control system for the tool changer of a manufacturing cell is
developed. The
techniques to be compared include common extensions both
to the basic Petri
net and automata concepts. In order to evaluate the
applicability of the
approaches, a set of practice oriented criteria is
presented in the paper.
Based on the experiences gained by the develop-
ment of the control system, the
approaches are evaluated to these
criteria.
Available as compressed Postscript
BibTeX-Entry:
<![CDATA[
@techreport{Sandner:Sabbah:99,
author = {Alexander Sabbah and Robert Sandner},
title = {Evaluation of Petri Net and Automata Based Description Techniques: An Industrial Case Study},
number = {TUM-I9923},
institution = {Technische Univerit\"at M\"unchen},
year = {1999},
url = {http://www4.informatik.tu-muenchen.de/reports/Sandner:Sabbah:99.html},
abstract = {In this case study, three description techniques representing Petri net
and
automata based approaches are applied on an industrial application:
The
control system for the tool changer of a manufacturing cell is
developed. The
techniques to be compared include common extensions both
to the basic Petri
net and automata concepts. In order to evaluate the
applicability of the
approaches, a set of practice oriented criteria is
presented in the paper.
Based on the experiences gained by the develop-
ment of the control system, the
approaches are evaluated to these
criteria.},
CRClassification = {D2.2,D2.1,D1.7,J.2,D3.2},
CRGenTerms = {Visual modeling languages}}
]]>