Improving performance in flexible manufacturing systems
From MaRDI portal
Publication:1014568
DOI10.1016/j.jlap.2008.11.002zbMath1184.68347MaRDI 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
flexible manufacturing systems; performance evaluation; formal methods; CSP; available resources; timed process algebra
68U99: Computing methodologies and applications
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Uses Software
Cites Work
- 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
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item