Webbläsaren som du använder stöds inte av denna webbplats. Alla versioner av Internet Explorer stöds inte längre, av oss eller Microsoft (läs mer här: * https://www.microsoft.com/en-us/microsoft-365/windows/end-of-ie-support).

Var god och använd en modern webbläsare för att ta del av denna webbplats, som t.ex. nyaste versioner av Edge, Chrome, Firefox eller Safari osv.

Petri net Analysis of Batch Recipes Structured with Grafchart

Författare

Summary, in English

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.

Publiceringsår

1998

Språk

Engelska

Dokumenttyp

Konferensbidrag

Ämne

  • Other Engineering and Technologies

Nyckelord

  • batch recipes
  • formal analysis
  • Petri net
  • Grafcet
  • Grafchart

Conference name

Foundations of Computer Aided Process Operations (FOCAPO 1998)

Conference date

1998-07-05

Conference place

Snowbird, UT, United States

Status

Published