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

被引：0
作者：
Russo, Mark F. [1 ]
机构：
[1] Bristol-Myers Squibb, Princeton, NJ
来源：
JALA - Journal of the Association for Laboratory Automation | 2008年 / 13卷 / 02期
关键词：
analysis; control; laboratory automation; modeling; Petri nets; simulation;
D O I：
10.1016/j.jala.2007.12.008
中图分类号：
学科分类号：
摘要：
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. © 2008, Society for Laboratory Automation and Screening. All rights reserved.
引用
收藏
页码：103 / 115
页数：12
相关论文
共 50 条
[31]   Modeling and analysis of remote diagnosis using Petri Nets [J].
Chen Lin ;
Wei Shutao ;
Xie Xiaowen .
2007 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND BIOMIMETICS, VOLS 1-5, 2007, :2133-+
[32]   Modeling and Risk Analysis of Cooperative Adaptive Cruise Control Systems Based on Petri Nets and Distributed Edge Intelligence [J].
Yu, Wangyang ;
Cheng, Yumeng ;
Fang, Xianwen ;
Zhai, Xiaojun ;
Wang, Yinglong ;
Jing, Hongyuan .
IEEE INTERNET OF THINGS JOURNAL, 2025, 12 (12) :19995-20006
[33]   Concurrency bugs in multithreaded software: modeling and analysis using Petri nets [J].
Liao, Hongwei ;
Wang, Yin ;
Cho, Hyoun Kyu ;
Stanley, Jason ;
Kelly, Terence ;
Lafortune, Stephane ;
Mahlke, Scott ;
Reveliotis, Spyros .
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2013, 23 (02) :157-195
[34]   Concurrency bugs in multithreaded software: modeling and analysis using Petri nets [J].
Hongwei Liao ;
Yin Wang ;
Hyoun Kyu Cho ;
Jason Stanley ;
Terence Kelly ;
Stéphane Lafortune ;
Scott Mahlke ;
Spyros Reveliotis .
Discrete Event Dynamic Systems, 2013, 23 :157-195
[35]   Coordination control of discrete event systems using Petri nets [J].
Pellicer, JE ;
Carelli, R .
BALANCED AUTOMATION SYSTEMS II: IMPLEMENTATION CHALLENGES FOR ANTHROPOCENTRIC MANUFACTURING, 1996, :519-529
[36]   Design of Optimal Control Sequences in Petri Nets Using Basis Marking Analysis [J].
Ma, Ziyue ;
Zou, Minqiang ;
Zhang, Jiafeng ;
Li, Zhiwu .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2022, 67 (07) :3685-3692
[37]   Modeling and simulation of an electronic component manufacturing system using hybrid petri nets [J].
Allam, M ;
Alla, H .
IEEE TRANSACTIONS ON SEMICONDUCTOR MANUFACTURING, 1998, 11 (03) :374-383
[38]   Modeling and Control of Discrete Event and Hybrid Systems Using Petri Nets and OPC Unified Architecture [J].
Kucera, Erik ;
Haffner, Oto ;
Drahos, Peter ;
Kozakova, Alena .
IEEE ACCESS, 2022, 10 :120735-120751
[39]   XPN-FMS - A CAD TOOL FOR FMS MODELING, ANALYSIS, ANIMATION, AND SIMULATION USING PETRI NETS AND X-WINDOW [J].
CHAO, DY ;
WANG, DT .
INTERNATIONAL JOURNAL OF FLEXIBLE MANUFACTURING SYSTEMS, 1995, 7 (04) :339-360
[40]   Process control, optimization and automation through modeling and simulation [J].
Kongoli, F ;
McBow, I ;
Llubani, S .
MODELING, CONTROL AND OPTIMIZATION IN FERROUS AND NONFERROUS INDUSTRY, 2003, :47-47
12345