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