Improving performance in flexible manufacturing systems

DOI10.1016/j.jlap.2008.11.002zbMath1184.68347OpenAlexW1963626102MaRDI QIDQ1014568

Diego Cazorla, Fernando Cuartero, M. Carmen Ruiz, Hermenegilda Macia

Publication date: 29 April 2009

Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlap.2008.11.002

zbMATH Keywords

flexible manufacturing systemsperformance evaluationformal methodsCSPavailable resourcestimed process algebra

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Uses Software

• PEPA

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A process algebra of communicating shared resources with dense time and priorities
• Analysis of an industrial system
• Resources in process algebra
• Modular transformation methods for generalized Petri nets and their application to automated manufacturing systems
• Formal specification and analysis of production systems