Modeling, Analysis, Simulation and Control of Laboratory Automation Systems Using Petri Nets: Part 1. Modeling

Journal of Laboratory Automation

Volumn 10, Issue 3, 2005, Pages 172-181

  Russo, Mark F ^a   Sasso, Alan ^b  

^a BRISTOL MYERS SQUIBB   (United States)

^b The State University of New Jersey   (United States)

Author keywords

analysis; control; laboratory automation; modeling; Petri nets; scheduling; simulation

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTER SIMULATION; CONTROL SYSTEMS; MATHEMATICAL MODELS; PETRI NETS; RESEARCH LABORATORIES;

LABORATORIES AUTOMATION SYSTEMS; PETRI NET MODELS; SYSTEMATIC MODELING; TUTORIAL SERIES;

AUTOMATION;

ALGORITHM; ARTICLE; COLOR; COMPUTER ANALYSIS; COMPUTER GRAPHICS; COMPUTER MODEL; COMPUTER PROGRAM; COMPUTER SIMULATION; COMPUTER SYSTEM; INFORMATION RETRIEVAL; LABORATORY AUTOMATION; MATHEMATICAL ANALYSIS; ROBOTICS;

EID: 20444471565     PISSN: 22110682     EISSN: 15402452     Source Type: Journal    
DOI: 10.1016/j.jala.2005.04.005     Document Type: Article

References (21)

1. Petri C. A. Kommunikation mit Automaten; Schriften des IIM Nr 2; Institut für Instrumentelle Mathematik; Bonn, Germany, 1962; Technical Report RADC-TR-65–77 (Engl. Trans.), Vol. 1, Suppl. 1, New York, 1966.
2. van der Aalst W. van Hee K. Workflow Management — Models, Methods, and Systems; MIT Press: Cambridge, Massachusetts, 2004.
3. DiCesare F. Harhalakis G. Proth J. M. Silva M. Vernadat F. B. Practice of Petri Nets in Manufacturing; Chapman and Hall: New York, 1993.
4. Mortensen K. H. Rölke H. Petri Nets Tool Database. http://www.informatik.unihamburg.de/TGI/PetriNets/tools/db.html/ (accessed December 2004). Petri Nets Tools Database.
5. Matlab. TheMathWorks. http://www.mathworks.com/products/matlab/ (accessed December 2004).
6. Petri Net Toolbox for Matlab. Department of Automatic Control and Industrial Informatics of the Technical University “Gh. Asachi” of Iasi, Romania. http://www.ac.tuiasi.ro/pntool/ (accessed December 2004).
7. Svádová M. Hanzálek Z. Matlab Toolbox for Petri Nets. Center for Applied Cybernetics, Czech Technical University, Prague. http://dce.felk.cvut.cz/cak/Research/PN/index_PN.htm (accessed December 2004).
8. Iordache M. V. Antsaklis P. J. Software Tools for the Supervisory Control of Petri Nets Based on Place Invariants; Technical Report ISIS-2002–003, Department of Electrical Engineering, University of Notre Dame: Notre Dame, Indiana, 2002.
9. Jensen K. Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, Volume 1, 2nd edition; Springer-Verlag Telos: Springer, New York, 1996.
10. CPN Tools. CPN Group, University of Aarhus, Denmark. http://wiki.daimi.au.dk/cpntools/cpntools.wiki (accessed December 2004).
11. Java Technology Home Page. Sun Microsystems. http://java.sun.com/ (accessed December 2004).
12. Petri Net Kernel. Department of Computer Science, Humboldt Universität zu Berlin. http://www.informatik.hu-berlin.de/top/pnk/ (accessed December 2004).
13. Knottenbelt W. PIPE2. Department of Computing at Imperial College. http://pipe2.sourceforge.net/ (accessed December 2004).
14. Martinez J. Silva M. A Simple and Fast Algorithm to Obtain All Invariants of a Generalised Petri Net. In Application and Theory of Petri Nets, Informatik Fachberichte, no.52, Girault C. Reisig W. Eds.; Springer, 1982; pp 301–310.
15. Murata T. Petri nets: properties, analysis and applications. Proceedings of the IEEE, Springer, New York, 1989, 77, 541-580.
16. Thermo CRS Dimension4. http://www.thermo.com/com/cda/product/detail/1,1055,21869,00.html (accessed December 2004), CRS Dimension4 Modular Automation Platform.
17. McCrackin D. C. Hertz R. B. The CRS Dimension4 High Speed Distributed Motion System. http://www.thermo.com/eThermo/CMA/PDFs/Articles/articlesFile_17864.pdf (accessed December 2004), The CRS Dimension4 High Speed Distributed Motion System.
18. Caliper Life Sciences Allegro. http://www.caliperls.com/products/allegro.shtml (accessed December 2004), Caliper Life Sciences Allegro Workstations.
19. Armstrong J. W. A review of linear robotic systems for high throughput screening — new developments result in more flexibility and lower cost. JALA 1999, 4, 28–29.
20. PerkinElmer PlateTrak. PerkinElmer Life and Analytical Sciences. http://las.perkinelmer.com/catalog/Product.aspx?ProductId=PlateTrak (accessed December 2004).
21. Quadra 3. Tomtec, Inc. http://www.tomtec.com/Pages/Quadra3.html (accessed December 2004).