Upload
buidien
View
223
Download
0
Embed Size (px)
Citation preview
LUND UNIVERSITY
PO Box 117221 00 Lund+46 46-222 00 00
High-Level Grafcet and Batch Control
Johnsson, Charlotta; Årzén, Karl-Erik
Published: 1994-01-01
Link to publication
Citation for published version (APA):Johnsson, C., & Årzén, K-E. (1994). High-Level Grafcet and Batch Control. Paper presented at Automation ofMixed Process: Dynamic Hybrid Systems (ADPM), Brussels, Belgium.
General rightsCopyright and moral rights for the publications made accessible in the public portal are retained by the authorsand/or other copyright owners and it is a condition of accessing publications that users recognise and abide by thelegal requirements associated with these rights.
• Users may download and print one copy of any publication from the public portal for the purpose of privatestudy or research. • You may not further distribute the material or use it for any profit-making activity or commercial gain • You may freely distribute the URL identifying the publication in the public portalTake down policyIf you believe that this document breaches copyright please contact us providing details, and we will removeaccess to the work immediately and investigate your claim.
Download date: 12. Sep. 2018
Alternative paths
Parallel pathsTransition
Token
Initialstep
Step
Closed chart Non−closed chart
Condition "true"
When true thenstart fire−transition−of(this workspace)
Automatically generated G2rule
G2 rules
If status is OK thenstart diagnosis()
Initiallyconclude that v1 is open
TransitionAttribute Table
Step subworkspace
Transition subworkspace
Enterstep
Exit step
Macro step subworkspace
Macro step
Enterstep
Exit step
Procedurestep
Procedurestep
Proc−1
Grafchartprocedure
SubworkspaceCall toproc−1
Call toproc−1
Activeexceptiontransitions
Branch A Branch B
1
Aready Bready
Branch A Branch B
1
Bready Aready
Aready or Bready Bready or Aready
Branch A Branch B
Aready Bready
Exception Transition
Aready OR Bready
Branch A Branch B
Aready Bready
Aready OR Bready
tank tank−12limit 10
Initially start fill−tank(sup.tank^)
Condition: "sup.tank^.level > sup.limit"
Fl1, a fill−tank
Fl1
tank tank−12operation fill−heatlimit 5
Ta macro−step−template
superior−attribute
operationFL2
LIBRARY:
Fill Fill−heat Fill−heat−agitate
FL2, a fill−tank G2 object
Attributes:
.......
Method 1 Method 2
T1
Invocation object
T1
Invocation object
After firing T1Before firing T1
Attributes
Process Cell
Unit
Equipment Module
ControlModule
Must contain
May contain
Maycontain
May contain
Maycontain
Procedure
Unit procedure
Operation
Phase
consists of an ordered set of
consists of an ordered set of
consists of an ordered set of
may be transformed into
may be transformed into
is the basis for
includes
includes
includes
includes
Product−specific processing information
Site−specificinformation
Process Cell−Specific information
Batch ID, size, in−processoperator− and/or system−generated information
General recipe
Site recipe
Master recipe
Control recipe