Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Generation of STEP AP214 models from discrete event systems for process planning and control
KTH, School of Industrial Engineering and Management (ITM), Production Engineering, Computer Systems for Design and Manufacturing.
2008 (English)In: IEEE Transactions on Automation Science and Engineering, ISSN 1545-5955, E-ISSN 1558-3783, Vol. 5, no 1, 113-126 p.Article in journal (Refereed) Published
Abstract [en]

The aim of this paper is to show how the international standard STEP-AP214 can be used for communication and storing of process specifications. Even though there are several software tools available for the generation of both product and resource information systems, there is still a lack of tools related to the STEP standard for producing process information, e.g., sequence of operations and system capabilities for resource allocation. Therefore, such a tool is suggested, which makes use of a high-level language for discrete-event systems based on process algebra and Petri nets. This language, called process algebra Petri net), has been developed in accordance with the process relations defined in STEP-AP214. More specifically, it is shown how process specifications created with the PPN tool can be mapped to the STEP AP-214 format. Note to Practioners-Rapidly changing market needs is making demands on flexibility and ability to shorten lead times. Standards for exchanging information, as well as formal methods for automatic development of programmable controller code have been important research topics for many years. There are a lot of software tools available for the generation of both product- and resource information, but there is still a lack of tools for producing process information. Moreover, the connection between information exchange standards and such tools is absent, which makes the development of programmable controller code an isolated activity. This activity is often time consuming and performed in an ad hoc manner resulting in unnecessary production delay. The aim of this paper is to show how the international standard STEP-AP214 (a standard for exchange of product-, process-, and resource related information) can be used for communicating and storing process specifications. In order to achieve this, a tool which makes use of a formal high-level language is suggested. This tool can be used for automatic control generation and has been developed in accordance with the process relations defined in STEP-AP214. A further aim is to shown how the mentioned tool can be used to specify complex systems in a compact, yet highly readable manner, which is a crucial incentive for industry to use formal methods. The presented method will guarantee-that expected information is delivered quickly and without errors caused by the human factor, something that is very important in our ambition to achieve shortened lead times. The quick information exchange also makes it possible to perform simulation, supervisor synthesis, and verification early in the development phase. This is a first attempt at using a formal language for creating a tool that can automatically generate specifications in accordance with the international STEP-standard.

Place, publisher, year, edition, pages
2008. Vol. 5, no 1, 113-126 p.
Keyword [en]
discrete-event systems, information modeling, STEP, Petri nets, process algebra
National Category
Production Engineering, Human Work Science and Ergonomics Computer and Information Science
Identifiers
URN: urn:nbn:se:kth:diva-33268DOI: 10.1109/TASE.2007.909632ISI: 000252337000011Scopus ID: 2-s2.0-38349070304OAI: oai:DiVA.org:kth-33268DiVA: diva2:414486
Note
QC 20110502Available from: 2011-05-03 Created: 2011-05-02 Last updated: 2017-12-11Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
von Euler-Chelpin, Astrid
By organisation
Computer Systems for Design and Manufacturing
In the same journal
IEEE Transactions on Automation Science and Engineering
Production Engineering, Human Work Science and ErgonomicsComputer and Information Science

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 54 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf