An Integration Scheme for CPN and Process Algebra Applied to a Manufacturing Industry Case

Manuel I. Capel; Juan A. Holgado; Agustín Escámez

Research.Publish.Connect.

*Please fill out at least one Field. *Value must be an number!

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Name:
Country:
Subject:

Advanced Search Affiliations Search

If you're looking for an exact phrase use quotation marks on text fields.

Proceedings

Proceedings Search *Please fill out at least one Field. *Value must be an number!

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

Papers

Papers Search *Please fill out at least one Field.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

Authors

Authors Search *Please fill out at least one Field.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

Advanced Search

Paper

An Integration Scheme for CPN and Process Algebra Applied to a Manufacturing Industry Case

In Proceedings of the 3rd International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 0ICEIS, 39-48, 2005 , Miami, United States

Authors: Manuel I. Capel ; Juan A. Holgado and Agustín Escámez

Affiliation: University of Granada, Spain

Abstract: A semiformal development method for obtaining a correct design of embedded control and real-time systems is presented. The design is obtained from a Colored Petri Net (CPN) model of a real-time system, which is subsequently transformed into a formal system specification using CSP+T process algebra. The method translates CPN modelling entities into abstract processes, which allow the expression of concurrency and real-time constraints. The correct design of a “key“ component (feed belt controller) of a paradigmatic manufacturing problem (the Production Cell) is discussed as to show the applicability of our method.

CC BY-NC-ND 4.0

Guest: Register as new SciTePress user now for free.

SciTePress user: please login.

My Papers

You are not signed in, therefore limits apply to your IP address 3.149.253.73

In the current month:

Recent papers: 100 available of 100 total

2⁺ years older papers: 200 available of 200 total

Paper citation in several formats:

I. Capel, M.; A. Holgado, J. and Escámez, A. (2005). An Integration Scheme for CPN and Process Algebra Applied to a Manufacturing Industry Case. In Proceedings of the 3rd International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (ICEIS 2005) - MSVVEIS; ISBN 972-8865-22-8, SciTePress, pages 39-48. DOI: 10.5220/0002566600390048

@conference{msvveis05,
author={Manuel {I. Capel}. and Juan {A. Holgado}. and Agustín Escámez.},
title={An Integration Scheme for CPN and Process Algebra Applied to a Manufacturing Industry Case},
booktitle={Proceedings of the 3rd International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (ICEIS 2005) - MSVVEIS},
year={2005},
pages={39-48},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002566600390048},
isbn={972-8865-22-8},
}

TY - CONF

JO - Proceedings of the 3rd International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (ICEIS 2005) - MSVVEIS
TI - An Integration Scheme for CPN and Process Algebra Applied to a Manufacturing Industry Case
SN - 972-8865-22-8
AU - I. Capel, M.
AU - A. Holgado, J.
AU - Escámez, A.
PY - 2005
SP - 39
EP - 48
DO - 10.5220/0002566600390048
PB - SciTePress