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

被引：0

作者：

Bristol-Myers Squibb, Princeton, NJ, United States ^{[1
]}

机构：

[1] Bristol-Myers Squibb, Princeton, NJ

来源：

JALA J. Assoc. Lab. Autom. | 2008年 / 2卷 / 103-115期

关键词：

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 条

[21] Modular design and adaptive control of urban signalized intersections systems using synchronized timed Petri nets [J].

Lamghari Elidrissi H. ;

Nait Sidi Moh A. ;

Tajer A. .

Personal and Ubiquitous Computing, 2025, 29 (01) :15-29

[22] Analysis of Petri Nets and Transition Systems [J].

Best, Eike ;

Schlachter, Uli .

ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2015, (189) :53-67

[23] Modeling, analysis, simulation, scheduling, and control of semiconductor manufacturing systems: A Petri net approach [J].

Zhou, MC ;

Jeng, MD .

IEEE TRANSACTIONS ON SEMICONDUCTOR MANUFACTURING, 1998, 11 (03) :333-357

[24] Modelling and analysis of air traffic control systems using hierarchical timed coloured Petri nets [J].

Huang, Yi-Sheng ;

Chung, Ta-Hsiang .

TRANSACTIONS OF THE INSTITUTE OF MEASUREMENT AND CONTROL, 2011, 33 (01) :30-49

[25] Modelling and control of self-service public bicycle systems by using Petri nets [J].

Benarbia, Taha ;

Labadi, Karim ;

Darcherif, Abdel Moumen ;

Chayet, Maurice .

INTERNATIONAL JOURNAL OF MODELLING IDENTIFICATION AND CONTROL, 2012, 17 (03) :173-194

[26] Control of Deadlocked Discrete-Event Systems Using Petri Nets [J].

Capkovic, Frantisek .

ACTA POLYTECHNICA HUNGARICA, 2022, 19 (02) :213-233

[27] Modeling and supervisory control of railway networks using Petri nets [J].

Giua, Alessandro ;

Seatzu, Carla .

IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2008, 5 (03) :431-445

[28] Continuous Petri nets: Expresiveness, analysis and control of a class of switched linear systems [J].

Silva, M. ;

Recalde, L. .

REVISTA IBEROAMERICANA DE AUTOMATICA E INFORMATICA INDUSTRIAL, 2007, 4 (03) :5-+

[29] Modeling and analysis of real-time cooperative systems using Petri nets [J].

Du, YuYue ;

Jiang, ChangJun ;

Zhou, MengChu .

IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2007, 37 (05) :643-654

[30] Modeling of DRAM power control policies using deterministic and stochastic Petri nets [J].

Fan, XB ;

Ellis, CS ;

Lebeck, AR .

POWER-AWARE COMPUTER SYSTEMS, 2003, 2325 :130-140

← 1 2 3 4 5 →