Index

A

ACSR, see Algebra of communicating shared resources (ACSR)

Algebra of communicating shared resources (ACSR), 458

AMSs, see Automated manufacturing systems (AMSs)

Antithetic variates (AVs), 522

Approximation algorithm

2-approximation algorithm

complexity, 548

definition, 548

π(K), 548

place capacities, 548, 549

optimal solution, 547

Asynchronous assembly systems

bottleneck-based approach, 496497

exponential assembly system, 496

full search approach, 496

lean buffers

assembly systems, long up-and downtime, 498, 499

balanced assembly system, 497

unbalanced assembly systems, 498501

performance characteristics, 496, 497

Asynchronous serial lines

cycle time allocation, 491

exponential machines, 483484

flow model, line operation, 484

LBC, ...

Get Formal Methods in Manufacturing now with the O’Reilly learning platform.

O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.