Modeling, Analysis, Simulation, and Control of Laboratory Automation Systems Using Petri Nets—Analysis and Control

In this second part of the tutorial series, we continue the investigation of Petri net theory as it applies to laboratory automation systems. The focus of this tutorial is the application of theoretical results to the analysis of laboratory automation system models. The mathematical description of a Petri net is introduced. Several analytical methods are reviewed and applied to examples of laboratory automation systems. Analytical results include the identification of deadlock situations, computation of cycle times, optimization of design, and the automatic calculation of system-control schemes.