CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

Automatic Generation of Object Models for Process Planning and Control Purposes using an International standard for Information Exchange

Petter Falkman (Institutionen för signaler och system, Reglerteknik och automation) ; Johan Nielsen ; Bengt Lennartson (Institutionen för signaler och system, Reglerteknik och automation)
Journal of Systemics, Cybernetics and Informatics (1690-4524). Vol. 1 (2003), 5,
[Artikel, refereegranskad vetenskaplig]

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.

Nyckelord: Modelling methods, information mod- elling, Petri Nets, Process algebra

Denna post skapades 2006-09-12. Senast ändrad 2013-06-12.
CPL Pubid: 15161


Institutioner (Chalmers)

Institutionen för signaler och system, Reglerteknik och automation (1900-2004)


Information Technology

Chalmers infrastruktur