loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

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

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

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

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