Minimizing Total Place Capacity under Throughput Constraint for a Weighted Timed Event Graph |
CONTENTS
18.2 Basic Definitions and Notations
18.2.2 Timed Weighted Event Graphs and Schedules
18.2.4 Precedence Relations Associated with Places
18.2.5 As Soon As Possible Scheduling Policy vs Periodic Policy
18.3 Transformation of Live MTWEGs with Capacitated Places
18.3.1 Necessary Condition of Liveness
18.3.2 Places of Limited Capacity
18.3.3 Normalization of a Unitary MTWEG
18.4.2 Characterization of a Periodic Schedule
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.
