Petri net Analysis of Batch Recipes Structured with Grafchart
Author
Summary, in English
Grafchart is a graphical language aimed a sequential control applications. The language is implemented in a toolbox and it has been developed at the Department of Automatic Control in Lund, Sweden since 1991. The language is based on Grafcet and Petri nets and it can be used for sequential control applications on both the local and the supervisory level. The main application so far, has been batch recipe structuring. In this paper it is shown how Petri net analysis methods can be applied to batch recipes that are structured with Grafchart.
Department/s
Publishing year
1998
Language
English
Document type
Conference paper
Topic
- Other Engineering and Technologies
Keywords
- batch recipes
- formal analysis
- Petri net
- Grafcet
- Grafchart
Conference name
Foundations of Computer Aided Process Operations (FOCAPO 1998)
Conference date
1998-07-05
Conference place
Snowbird, UT, United States
Status
Published