Skip to main content

Lund University Publications

LUND UNIVERSITY LIBRARIES

Petri net Analysis of Batch Recipes Structured with Grafchart

Johnsson, Charlotta LU and Årzén, Karl-Erik LU orcid (1998) Foundations of Computer Aided Process Operations (FOCAPO 1998)
Abstract
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.
Please use this url to cite or link to this publication:
author
and
organization
publishing date
type
Contribution to conference
publication status
published
subject
keywords
batch recipes, formal analysis, Petri net, Grafcet, Grafchart
pages
6 pages
conference name
Foundations of Computer Aided Process Operations (FOCAPO 1998)
conference location
Snowbird, UT, United States
conference dates
1998-07-05
language
English
LU publication?
yes
id
39cdb196-b534-4606-9471-a832f5c618f0 (old id 7761475)
date added to LUP
2016-04-04 14:25:14
date last changed
2020-12-12 02:19:00
@misc{39cdb196-b534-4606-9471-a832f5c618f0,
  abstract     = {{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.}},
  author       = {{Johnsson, Charlotta and Årzén, Karl-Erik}},
  keywords     = {{batch recipes; formal analysis; Petri net; Grafcet; Grafchart}},
  language     = {{eng}},
  title        = {{Petri net Analysis of Batch Recipes Structured with Grafchart}},
  year         = {{1998}},
}