Grafchart for procedural operator support tasks

IFAC Proceedings Volumes (IFAC-PapersOnline)

Volumn 15, Issue 1, 2002, Pages 85-90

  Årzén, Karl Erik ^a   Olsson, Rasmus ^a   Åkesson, Johan ^a  

^a LUND INSTITUTE OF TECHNOLOGY   (Sweden)

Author keywords

Batch control; Grafcet; Operating procedure; Petri nets; Sequence control

Indexed keywords

ARTIFICIAL INTELLIGENCE; AUTOMATION; PETRI NETS;

BATCH CONTROL; GRAFCET; OPERATING PROCEDURE; OPERATOR SUPPORT; PROCESS INDUSTRIES; SEQUENCE CONTROL; STATE TRANSITIONS;

DECISION SUPPORT SYSTEMS;

EID: 84945582719     PISSN: 14746670     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.3182/20020721-6-es-1901.00920     Document Type: Conference Paper

References (18)

1. Årzén, K.-E. (1991): "Sequential function charts for knowledge-based, real-time applications." In Proc. Third IFAC Workshop on AI in Real-Time Control. Rohnert Park, California.
2. Årzén, K.-E. (1993): "Grafcet for intelligent real-time systems." in Preprints IFAC 12th World Congress. Sydney, Australia.
3. Årzén, K.-E. (1994a): "Grafcet for intelligent supervisory control applications." Automatica, 30:10.
4. Årzén, K.-E. (1994b): "Parameterized high-level Grafcet for structuring real-time KBS applications." in Preprints of the 2nd IFAC Workshop on ComputerSoftware Structures Integrating AI/KBS in Process Control Systems, Lund, Sweden.
5. Årzén, K.-E. (1995): "Integrated control and diagnosis of sequential processes." in Preprints of the IFAC Workshop on On-line Fault Detection and Supervision in the Chemical Process Industries. Newcastle, UK.
6. Aylett, R., J. Soutter, G. Petley, P. Chung, and D. Edwards (2001): "Planning plant operating procedures for chemical plant." Engineering Applications of Artificial Intelligence, 14, pp. 341-356.
7. Charbonnier, F., H. Alla, and R. David (1999): "Discrete-event dynamic systems." IEEE Trans. on Control Systems Technology, 7:2, pp. 175-187.
8. David, R. (1995): "Grafcet: a powerful tool for specification of logic controllers." IEEE Trans. on Control Systems Technology, 3:3, pp. 253-268.
9. Emerson, D. (1999): "What Does a Procedure Look Like? - The ISA S88.02 Recipe Representation Format." WBF homepage, http://www.wbf.org, SP88 Part Two Overview - Paper 6.
10. Johnsson, C. (1997): "Recipe-Based Batch Control Using High-Level Grafchart." Licentiate thesis ISRN LUTFD2/TFRT-3217-SE. Dept. of Automatic Control, Sweden. Available at http:://www.control.lth.se/~lotta/papers.html.
11. Johnsson, C. (1999): A Graphical Language for Batch Control. PhD thesis ISRN LUTFD2/TFRT-1051-SE, Department of Automatic Control, Lund Institute of Technology, Lund, Sweden.
12. Johnsson, C. and K.-E. Årzén (1994): "High-level Grafcet and batch control." in Symposium ADPM'94 - Automationof MixedProcesses: Dynamical Hybrid Systems. Brussels, Belgium.
13. Johnsson, C. and K.-E. Årzen (1996): "Batch recipe structures using High-Level Grafchart." in Proc. of the IFAC World Congress 1996.
14. Johnsson, C. and K.-E. Årzén (1998a): "Grafchart and batch recipe structures." in WBF'98 - World Batch Forum. Baltimore, MD, USA.
15. Johnsson, C. and K.-E. Årzén (1998b): "Grafchart and recipe-based batch control." Computers and Chemical Engineering, 22:12, pp. 1811-1828.
16. Lakos, C. (1994): "Object Petri Nets - definition and relationship to coloured nets." Technical Report R94-3. Department of Computer Science, University of Tasmania, GPO Box 252C, Hobart Tasmania 7001, Australia.
17. Lhoste, P., J. Faure, J. Lesage, and J. Zaytoon (1997): "Verification et validation du grafcet." JESA-AFCET-CNRS, Ed Hermès, 31:4, pp. 713-730. (in French).
18. Nilsson, B. (1991): "En on-linesimulator för oper-atörsstöd," (An on-line simulator for operator support). Report TFRT-3209. Department of Automatic Control, Lund Institute of Technology.