Performance Evaluation and Control of Manufacturing Systems A Continuous Petri Nets View |
CONTENTS
14.1 Motivation and Objectives
14.2 Some Concepts on Continuous PN
14.2.1 Autonomous (Untimed) Continuous PN
14.2.1.1 Reachability and Lim-Reachability
14.2.1.3 Implicit Places and Structurally Implicit Places
14.2.1.4 Liveness Conditions for Continuous Systems
14.2.1.5 Monotonicity and Homothetic Monotonicity
14.2.2.1 Conceptual Framework and Server Semantics
14.2.2.2 Logical Properties in Timed Models Versus Untimed Models
14.2.2.3 Infinite Server Semantics: Performance Bounds for Steady State
14.2.2.4 Infinite Server Semantics: Monotonicity and Paradoxes ...
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.
