A Graphical Language for Batch Control
Author
Summary, in English
Grafchart exists in two versions; a basic version and a high-level version. The basic version was available when the work presented in this thesis started. The basic version of Grafchart is mainly based on Grafcet, i.e., it has a clear and intuitive syntax. In addition to this it has support for parameterization and methods and message passing as well as extended facilities for exception handling. The high-level version of Grafchart takes the concepts of the basic version one step further. The concepts of object tokens and multi-dimensional charts are introduced. These features are inspired by high-level Petri nets and constructs from object-oriented programming languages.
The main application area of Grafchart is batch control. In the thesis it is shown how Grafchart can be used for recipe structuring and recipe analysis. By using the features of Grafchart in various ways, recipes can be given different structures with different advantages and disadvantages. All structures comply with the international batch standard IEC 61512 (also refered to as ISA S88.01). To test and evaluate the different recipe structures, a real-time batch plant simulation platform was used. The batch recipe structures can be combined with resource allocation and a visualization of the allocation is thereby achieved. By transforming the recipes into an equivalent Petri net structure, formal analysis methods that exist for Petri nets can be used to look for possible deadlock situations.
Several commercial batch control systems exist today. They all have a similar approach to recipe structuring, resource allocation and user presentation. The advantages of using Grafchart compared to some of these systems, regarding these features are presented in the thesis. A toolbox implementation of Grafchart exists. It is implemented in G2, an object-oriented programming environment. G2 is also an industrial environment, this makes the toolbox and the results of this thesis directly usable in industry.
Department/s
Publishing year
1999
Language
English
Publication/Series
PhD Thesis TFRT-1051
Full text
Document type
Dissertation
Publisher
Department of Automatic Control, Lund Institute of Technology (LTH)
Topic
- Control Engineering
Keywords
- Automation
- Batch Recipes
- Batch Processes
- Sequential Control
- Grafcet
- Petri nets
- robotics
- control engineering
- Automatiska system
- robotteknik
- reglerteknik
Status
Published
Supervisor
ISBN/ISSN/Other
- ISSN: 0280-5316
- ISSN: 0280-5316
Defence date
25 March 1999
Defence time
10:15
Defence place
Room M:E, M-building, Lund Institute of Technology
Opponent
- Sebastian Engell (Professor Dr.-Ing.)