Transforming time constraints of a GRAFCET graph into a suitable Petri net formalism

Author

Schumacher, Frank ; Fay, Alexander

Author_Institution

Inst. of Autom. Technol., Helmut-Schmidt-Univ., Hamburg, Germany

fYear

2013

fDate

25-28 Feb. 2013

Firstpage

210

Lastpage

218

Abstract

GRAphe Fonctionnel de Commande Etape Transition (GRAFCET) is a powerful graphical modeling language for the specification of controllers in discrete event systems and an international standard since 1988. It contributes to a more structural and model driven approach in the design of logic controllers but still lacks an exhaustive formal definition. As a step towards an exhaustive formal definition of GRAFCET this paper discusses time dependencies, as they are defined in IEC 60848, by comparing them to time constraints of timed Petri nets and Time Petri nets. Based on this analysis the authors propose an extension of a formal model for GRAFCET, which is a specific type of a control interpreted Petri net.

Keywords

IEC standards; Petri nets; discrete event systems; simulation languages; GRAFCET graph; GRAphe Fonctionnel de Commande Etape Transition; IEC 60848; Time Petri nets; control interpreted Petri net; controller specification; discrete event systems; graphical modeling language; international standard; logic controller design; model driven approach; structural driven approach; time constraints; timed Petri nets; Analytical models; Automation; Finite element analysis; IEC standards; Petri nets; Time factors; GRAFCET; formal model; time constraints;

fLanguage

English

Publisher

ieee

Conference_Titel

Industrial Technology (ICIT), 2013 IEEE International Conference on

Conference_Location

Cape Town

Print_ISBN

978-1-4673-4567-5

Electronic_ISBN

978-1-4673-4568-2

Type

conf

DOI

10.1109/ICIT.2013.6505674

Filename

6505674