Abstract
Petri Nets have proven useful as a language for expressing distributed control logic. This paper presents a tool that integrates the formalism with virtual reality technology in order to model functioning mechatronic systems in 3D. A virtual environment generates sensor telemetry and reflects the state of actuators by computing the geometric and physical properties of a system and the surrounding environment. Petri Nets, combined with the Python programming language, model control systems in terms of virtual sensors and actuators. This methodology simulates the interactions between the structure and logic of mechatronic systems, allowing for an early verification of designs.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Jackson, D., Rinard, M.: Software analysis: a Roadmap. In: Proceedings of the Conference on The Future of Software Engineering, pp. 133–145 (2000)
Williams, D., Finke, D., Medeiros, D.J., Traband, M.: Discrete simulation development for a proposed shipyard steel processing facility. In: Proceedings of the 33nd conference on Winter simulation, vol. 1, pp. 882–887 (2001)
Kephart, J., Chess, D.: The Vision of Autonomic Computing. Computer Journal 1, 41–50 (2003)
Kibira, D., McLean, C.: Manufacturing modeling methods: virtual reality simulation of a mechanical assembly production line. In: Proceedings of the Winter Simulation Conference, pp. 1130–1137 (2002)
Maes, P.: Pattie Maes: Modeling adaptive autonomous agents. Artificial Life 1, 9 (1994)
Michel, O.: Fundamentals of a Theory of Asynchronous Information Flow. In: Proc. of IFIP Congress, vol. 62, pp. 386–390 (1963)
Michel, O.: Webots: Symbiosis Between Virtual and Real Mobile Robots. In: Heudin, J.-C. (ed.) VW 1998. LNCS, vol. 1434, pp. 254–263. Springer, Heidelberg (1998)
Koenig, N., Howard, A.: Design and Use Paradigms for Gazebo, An Open-Source Multi-Robot Simulator. In: International Conference on Intelligent Robots and Systems, pp. 2149–2154 (2004)
Ratzer, A.V., Wells, L., Michael Lassen, H., Laursen, M., Christensen, S., Jensen, K.: CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol. 2679, pp. 450–462. Springer, Heidelberg (2003)
Antsaklis, P., Koutsoukos, X., Zaytoon, J.: On hybrid control of complex systems: A survey. European Journal of Automation 32, 1023–1045 (1985)
Aho, A., Hopcroft, J.: The Design and Analysis of Computer Algorithms. Addison-Wesley Longman Publishing Co., Inc., Amsterdam (1974)
Ramchandani, C.: Analysis of asynchronous concurrent systems by timed Petri Nets. Massachusetts Institute of Technology (1974)
Jensen, K.: Coloured Petri Nets and the Invariant Method. Theoretical Computer Science 14, 317–336 (1981)
Grzeszczuk, R., Terzopoulos, D., Hinton, G.: NeuroAnimator: fast neural network emulation and control of physics-based models. In: SIGGRAPH 1998: Proceedings of the 25th annual conference on Computer graphics and interactive techniques, pp. 9–20 (1998)
Lindenmayer, A.: Mathematical model for cellular interaction in development, Parts I and II. Journal of Theoretical Biology 18, 280–315 (1968)
Kaminka, G.A., Veloso, M.M., Schaffer, S., Sollitto, C., Adobbati, R., Marshal, A.N., Scholer, A., Tejada, S.: GameBots: The ever-challenging multi-agent research test-bed. ACM Transactions on Computer Graphics, 280–315 (2002)
Brauer, W., Gold, R., Vogler, W.: A Survey of Behaviour and Equivalence Preserving Refinements of Petri Nets. In: Rozenberg, G. (ed.) APN 1990. LNCS, vol. 483, pp. 1–46. Springer, Heidelberg (1991)
Balduzzi, F., Giua, A., Seatzu, C.: Modeling and simulation of manufacturing systems with first-order hybrid Petri Nets. International Journal of Production Research 483, 255–282 (2001)
Janneck, J., Esser, R.: Higher-order Petri net modeling— techniques and applications. In: Workshop on Software Engineering and Formal Methods (2001)
Kindler, E., Pales, C.: 3D-Visualization of Petri Net models: Concept and Realization. In: Application and Theory of Petri Nets, ATPN 2004, pp. 464–473 (2004)
Baldini, F., Bucci, G., Vicario, E.: A Tool Set for Modeling and Simulation of Robotic Workcells. In: Workshop on Techniques, Methodologies and Tools for Performance Evaluation of Complex Systems, pp. 106–114 (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Stier, J., Jahnke, J., Müller, H. (2006). Geist3D, a Simulation Tool for Geometry-Driven Petri Nets. In: Donatelli, S., Thiagarajan, P.S. (eds) Petri Nets and Other Models of Concurrency - ICATPN 2006. ICATPN 2006. Lecture Notes in Computer Science, vol 4024. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11767589_25
Download citation
DOI: https://doi.org/10.1007/11767589_25
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-34699-9
Online ISBN: 978-3-540-34700-2
eBook Packages: Computer ScienceComputer Science (R0)