| 1. |
|
|
| 2. |
- Falkman, Petter, 1972, et al.
(författare)
-
Automatic Generation of Object Models for Process Planning and Control Purposes using an International standard for Information Exchange
- 2003
-
Ingår i: Journal of Systemics, Cybernetics and Informatics. - 1690-4524. ; 1:5
-
Tidskriftsartikel (refereegranskat)abstract
- In this paper a formal mapping between static information models and dynamic models is presented. The static information models are given according to an international standard for product, process and resource information exchange, (ISO 10303-214). The dynamic models are described as Discrete Event Systems. The product, process and resource information is automatically converted into product routes and used for simulation, controller synthesis and verification. A high level language, combining Petri nets and process algebra, is presented and used for speci- fication of desired routes. A main implication of the presented method is that it enables the reuse of process information when creating dynamic models for process control. This method also enables simulation and verification to be conducted early in the development chain.
|
|
| 3. |
- Falkman, Petter, 1972, et al.
(författare)
-
Automatic generation of object models for process planning and control purposes using an international standard for information exchangeAutomatic Generation of Object Models
- 2003
-
Ingår i: Proceedings of the 7th World Multiconference on Systemics, cybernetics and Informatics. ; XIII, s. 382-387
-
Konferensbidrag (refereegranskat)abstract
- A formal mapping between static information models and dynamic models is presented. The static information models are given according to an international standard for product, process, and resource information exchange, (ISO 10303-214). The dynamic models are described as Discrete Event Systems. The product, process and resource information is automatically converted into product routes and used for simulation, controller synthesis and verification. A high level language, which combines Petri nets and process algebra, is presented and used for specification of desired routes. A main implication of the presented methodology is to enable the reuse of process information when creating dynamic models for process control. This methododology also enables simulation and verification to be conducted early in the development chain.
|
|
| 4. |
- Falkman, Petter, 1972, et al.
(författare)
-
Generation of STEP AP214 models from discrete event systems for process planning and control
- 2008
-
Ingår i: IEEE Transactions on Automation Science and Engineering. - 1545-5955 .- 1558-3783. ; 5:1, s. 113-126
-
Tidskriftsartikel (refereegranskat)abstract
- 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.
|
|
