Virtual prototyping of automated manufacturing systems with Geometry-driven Petri nets

CAD Computer Aided Design

Volumn 41, Issue 12, 2009, Pages 942-951

  Weber Jahnke, Jens H ^a   Stier, Jochen ^b  

^a UNIVERSITY OF VICTORIA   (Canada)

^b Geist3D Software Labs   (Canada)

Author keywords

Early testing; Geometry driven Petri nets; Robotic systems; Simulation; Virtual prototyping

Indexed keywords

AUTOMATED MANUFACTURING LINE; AUTOMATED MANUFACTURING SYSTEMS; DESIGN PROCESS; DEVELOPMENT CYCLE; DEVELOPMENT STAGES; EARLY TESTING; HARDWARE AND SOFTWARE COMPONENTS; HIGH-LEVEL PETRI NETS; MODELLING LANGUAGE; PHYSICAL PROTOTYPING; RIGID BODY; ROBOTIC SYSTEMS; SOFTWARE MODELLING; VIRTUAL PROTOTYPING; VIRTUAL REALITY ENGINE; VIRTUAL REALITY TECHNOLOGY; VIRTUAL SENSOR;

COMPUTATIONAL GEOMETRY; COMPUTER SOFTWARE; DATA STRUCTURES; DENSE WAVELENGTH DIVISION MULTIPLEXING; GRAPH THEORY; HIGH LEVEL LANGUAGES; LINGUISTICS; PRODUCT DESIGN; PRODUCTION ENGINEERING; ROBOTICS; VIRTUAL REALITY;

PETRI NETS;

EID: 71649101053     PISSN: 00104485     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.cad.2009.06.012     Document Type: Article

References (38)

1. Jung Y., Lee J., Kwon J., Rim K., and Cho S. An embedded integration prototyping system based on component technique. Lecture Notes in Computer Science 4761 (2007) 171
2. Jackson D., and Rinard M. Software analysis: A roadmap. ICSE'00: Proceedings of the conference on the future of software engineering (2000), ACM Press, New York (USA) 133-145
3. Bzymek Z.M., Nunez M., Li M., and Powers S. Simulation of a machining sequence using delmia/quest software. Computer Aided Design & Applications (2008) 401-411
4. Mujber T.S., Szecsi T., and Hashmi M.S.J. Virtual reality applications in manufacturing process simulation. Journal of Materials Processing Technology 155 (2004) 1834-1838
5. Dotoli M., Fanti M.P., Giua A., and Seatzu C. First-order hybrid Petri nets. An application to distributed manufacturing systems. Nonlinear Analysis: Hybrid Systems 2 2 (2008) 408-430
6. Valckenaers P., and Holvoet T. The environment: An essential abstraction for managing complexity in MAS-based manufacturing control. Lecture Notes in Computer Science 3830 (2006) 205
7. Wu N., Zhou M.C., and Li Z.W. Resource-oriented Petri net for deadlock avoidance in flexible assembly systems. IEEE Transactions on Systems, Man and Cybernetics, Part A 38 1 (2008) 56-69
8. Wu N, Zhou MC, Hu G. On Petri net modeling of automated manufacturing systems. In: Networking, sensing and control, 2007 IEEE international conference on. 2007. p. 228-33
9. Park S.C. A methodology for creating a virtual model for a flexible manufacturing system. Computers in Industry 56 7 (2005) 734-746
10. Geist3D. http://sourceforge.net/projects/geist3d/
11. Dorf R.C., and Bishop R.H. Modern control systems (2007), Prentice Hall
12. Harel D. Statecharts: A visual formalism for complex systems. Science of Computer Programming 8 3 (1987) 231-274
13. Ehrig H., Habel A., Kreowski H.J., and Parisi-Presicce F. From graph grammars to high level replacement systems. Lecture Notes in Computer Science 532 (1991) 269-291
14. Corradini A., Montanari U., and Rossi F. Graph processes. Fundamenta Informaticae 26 3-4 (1996) 241-265
15. David R., and Alla H. Discrete, continuous and hybrid Petri nets. IEEE Control Systems Magazine 28 3 (2008) 81-84
16. Lygeros J., Johansson K.H., Simic S.N., Zhang J., and Sastry S.S. Dynamical properties of hybrid automata. IEEE Transactions on Automatic Control 48 1 (2003) 2-17
17. Gawthrop P.J. Bond graph based control using virtual actuators. Proceedings of the Institution of Mechanical Engineers, Part I: Journal of Systems and Control Engineering 218 4 (2004) 251-268
18. Jensen K. Coloured Petri nets: Basic concepts (1992), Springer Verlag
19. Moncelet G., Christensen S., Demmou H., Paludetto M., and Porras J. Analysing a mechatronic system with coloured Petri nets. Software Tools for Technology Transfer 2 2 (1998) 160-167
20. Balduzzi F., Giua A., and Seatzu C. Modeling and simulation of manufacturing systems with first-order hybrid Petri nets. International Journal of Production Research 39 2 (2001) 255-282
21. Stier J. Geometry-driven Petri nets and a method for modelling mechatronic control systems. Ph.D. thesis. University of Victoria, Department of Computer Science, P. O. Box 3055, Victoria, BC, V8W3P6, Canada; 2006
22. Weyns D., Schelfthout K., and Holvoet T. Architectural design of a distributed application with autonomic quality requirements. DEAS'05: Proceedings of the 2005 workshop on design and evolution of autonomic application software (2005), ACM Press, New York, NY, USA 1-7
23. Ramchandani C. Analysis of asynchronous concurrent systems by timed Petri nets. Ph.D. thesis. Cambridge (MA): Massachusetts Institute of Technology; 1974
24. Berthomieu B., Diaz M., and CNRS T. Modeling and verification of time dependent systems using time Petri nets. Software Engineering, IEEE Transactions on 17 3 (1991) 259-273
25. Fehling R. A concept of hierarchical Petri nets with building blocks. Proceedings of the international conference on applications and theory of Petri nets (1993), Springer-Verlag 148-168
26. Zuberek WM, Bluemke I. Hierarchies of place/transitions refinements in Petri nets. In: Proceedings of the conference on emerging on technologies and factory automation. 1996. p. 355-60
27. The open dynamics engine. www.ode.org; 2009 [last accessed June 10]
28. Rieffel J., and Pollack J. Automated assembly as situated development: using artificial ontogenies to evolve buildable 3-D objects. GECCO'05: Proceedings of the 2005 ACM conference on genetic and evolutionary computation (2005), ACM Press, New York (USA) 99-106
29. Miller S, Pegden D. Manufacturing simulation: Introduction to manufacturing simulation. In: Proceedings of the winter simulation conference. 2000. p. 63-6
30. Babiceanu R.F., and Chen F.F. Development and applications of holonic manufacturing systems: A survey. Journal of Intelligent Manufacturing 17 1 (2006) 111-131
31. Leitão P. A bio-inspired solution for manufacturing control systems. In: Innovation in manufacturing networks: Eighth ifip international conference on information technology for balanced automation systems. 2008. p. 303
32. Green T.R.G., and Petre M. Usability analysis of visual programming environments: A 'cognitive dimensions' framework. Journal of Visual Languages and Computing 7 2 (1996) 131-174
33. Connolly C. Delmia robot modelling software aids nuclear and other industries. Industrial Robot: An International Journal 33 4 (2006) 259-264
34. Michel O. Cyberbotics Ltd. Webots TM: Professional mobile robot simulation. International Journal of Advanced Robotic Systems 1 1 (2004) 39-42
35. Koenig N, Howard A. Design and use paradigms for gazebo, an open-source multi-robot simulator. In: IEEE/RSJ international conference on intelligent robots and systems. 2004. p. 2149-54
36. Heilala J., Montonen J., and Väätäinen O. Life cycle and unit-cost analysis for modular reconfigurable flexible light assembly systems. Proceedings of the Institution of Mechanical Engineers, Part B: Journal of Engineering Manufacture 222 10 (2008) 1289-1299
37. Boehm B. A spiral model of software development and enhancement. SIGSOFT Software Engineering Notes 11 4 (1986) 14-24
38. Pais R, Barros SP, Gomes L. A tool for tailored code generation from petri net models, emerging technologies and factory automation, 2005. In: 10th IEEE conference on, vol. 1:8. Sept. 2005