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 条
[41]   Towards Formal Modeling and Analysis of SystemJ GALS Systems using Coloured Petri Nets [J].
Zhang, Weiyi ;
Salcic, Zoran ;
Malik, Avinash .
2019 IEEE 17TH INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), 2019, :152-159
[42]   Modeling and Simulation of Networked Automation and Control Systems in Modelica [J].
Frey, Georg ;
Liu, Liu .
AT-AUTOMATISIERUNGSTECHNIK, 2009, 57 (09) :466-476
[43]   Modeling and analysis of semiconductor manufacturing systems with degraded behavior using Petri nets and siphons [J].
Jeng, MD ;
Xie, XL .
IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, 2001, 17 (05) :576-588
[44]   Petri nets for the control of discrete event systems [J].
Giua, Alessandro ;
Seatzu, Carla .
SOFTWARE AND SYSTEMS MODELING, 2015, 14 (02) :693-701
[45]   Petri nets for the control of discrete event systems [J].
Alessandro Giua ;
Carla Seatzu .
Software & Systems Modeling, 2015, 14 :693-701
[46]   Aspects of modeling systems using Petri Nets [J].
Castellanos, Carlos .
CIENCIA E INGENIERIA, 2006, 27 (02) :49-58
[47]   On Hybrid Systems Modeling with Petri Nets [J].
Mircea, Drighiciu ;
Gheorghe, Manolea ;
Anca, Petrisor ;
Marius, Popescu .
PROCEEDINGS OF THE 7TH WSEAS INTERNATIONAL CONFERENCE ON SYSTEM SCIENCE AND SIMULATION IN ENGINEERING (ICOSSSE '08): RECENT ADVANCES IN SYSTEMS SCIENCE AND SIMULATION IN ENGINEERING, 2008, :73-+
[48]   Modeling and analysis of a mail processing plant using Petri nets [J].
Sawhney, A ;
Abudayyeh, O ;
Monga, A .
ADVANCES IN ENGINEERING SOFTWARE, 1999, 30 (08) :543-549
[49]   Modeling and Analysis of Inventory System by Using Colored Petri Nets [J].
Lu, Xiaochun ;
Liu, Dongyuan ;
Ni, Zhiwei .
IEEE/SOLI'2008: PROCEEDINGS OF 2008 IEEE INTERNATIONAL CONFERENCE ON SERVICE OPERATIONS AND LOGISTICS, AND INFORMATICS, VOLS 1 AND 2, 2008, :1359-1364
[50]   Simulation and analysis of Condition/Event Petri nets using software tool CESim [J].
Novosad, Petr ;
Ceska, Milan .
EUROPEAN SIMULATION AND MODELLING CONFERENCE 2007, 2007, :170-172
12345