Paper Info
Title
Modeling of Complex Automation Systems using Colored State Charts
Abstract
The design of complex distributed automation systems often presents great challenges due to the size and number of components which have to work in parallel to one another in real time. This research paper discusses some of the problems of designing such systems. The use of Colored Dynamic State Diagrams for the modeling of complex real-time systems is suggested as a possible solution. This type of diagram is based on State Charts, the well-known and generally applied description technique included as one variation in Unified Modeling Language. Colored State Charts harness two techniques, the modelling technique well accepted by engineers, and High Level Petrinets, with their outstanding powers of description. By coloring State Charts, the behaviour of several objects or processes can be modelled simultaneously in a single figure. The Colored State Diagrams contain a variety of resources to facilitate clear and unequivocal representation of the composition of a number of simple State Diagrams. They also have additional mechanisms for mapping the dependencies and relationships between individual objects. Via transformation into colored Petri nets, they make formal verification possible. Their usability is shown in a modelled reference example.
Year
DOI
Venue
2002
10.1109/ROBOT.2002.1014818
ICRA
Keywords
Field
DocType
Petri nets,distributed parameter systems,finite automata,large-scale systems,modelling,Petri nets,State Charts,colored dynamic state diagrams,complex systems,distributed automation systems,finite automata,modeling
Colored,Petri net,Unified Modeling Language,Computer science,State diagram,Automation,Theoretical computer science,Finite-state machine,Distributed parameter system,Formal verification
Conference
Volume
Issue
Citations 
2
1
1
PageRank 
References 
Authors
0.43
1
3
Name
Order
Citations
PageRank
Olga Fengler132.31
Wolfgang Fengler2119.42
Vesselka Duridanova310.77