Abstract
Production systems used nowadays in manufacturing processes can be characterized as stationary, inflexible, production-specific systems with a strongly centralized control. Once such a production system has been built, it is very time and cost demanding to adapt it to new changes in the manufacturing process. On the contrary, the market competition and customer needs impose new requirements on the production systems. There are increasing demands for shorter production times, higher flexibility, reconfigurability and optimal utilization of production facilities. Such demands can be met only by distributed production systems (DPS) with a decentralized organization.
This work is part of the ISILEIT project supported by the German Research Foundation (SPP1064, GA 456/7).
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kardos, M., Nickel, U. (2003). ASMs as Integration Platform towards Verification and Validation of Distributed Production Control Systems at Multiple Levels of Abstraction. In: Börger, E., Gargantini, A., Riccobene, E. (eds) Abstract State Machines 2003. ASM 2003. Lecture Notes in Computer Science, vol 2589. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36498-6_30
Download citation
DOI: https://doi.org/10.1007/3-540-36498-6_30
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-00624-4
Online ISBN: 978-3-540-36498-6
eBook Packages: Springer Book Archive