1993 | OriginalPaper | Chapter
Introducing Petri nets
Author : M. Silva
Published in: Practice of Petri Nets in Manufacturing
Publisher: Springer Netherlands
Included in: Professional Book Archive
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
Modern manufacturing systems are highly parallel and distributed. They need to be analyzed from qualitative and quantitative points of view. Qualitative analysis looks for properties like the absence of deadlocks, the absence of (store) overflows, or the presence of certain mutual exclusions in the use of shared resources (e.g. a robot). Its ultimate goal is to prove the correctness of the modeled system. Quantitative analysis looks for performance properties (e.g. throughput), responsiveness properties (e.g. average completion times) or utilization properties (e.g. average queue lengths or utilization rates). In other words, the quantitative analysis concerns the evaluation of the efficiency of the modeled system.