Geist3D, a simulation tool for geometry-driven petri nets

Authors:
Jochen Stier;Jens Jahnke;Hausi Müller
Affiliations:
University of Victoria, Victoria;University of Victoria, Victoria;University of Victoria, Victoria
Venue:
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
Year:
2006

Citing 11
Cited 0

A survey of behaviour and equivalence preserving refinements of Petri nets

APN 90 Proceedings on Advances in Petri nets 1990
NeuroAnimator: fast neural network emulation and control of physics-based models

Proceedings of the 25th annual conference on Computer graphics and interactive techniques
Software analysis: a roadmap

Proceedings of the Conference on The Future of Software Engineering
Discrete simulation development for a proposed shipyard steel processing facility

Proceedings of the 33nd conference on Winter simulation
The Design and Analysis of Computer Algorithms

The Design and Analysis of Computer Algorithms
The Vision of Autonomic Computing

Computer
Webots: Symbiosis Between Virtual and Real Mobile Robots

VW '98 Proceedings of the First International Conference on Virtual Worlds
Manufacturing modeling methods: virtual reality simulation of a mechanical assembly production line

Proceedings of the 34th conference on Winter simulation: exploring new frontiers
A Tool Set for Modeling and Simulation of Robotic Workcells

FIRB-PERF '05 Proceedings of the 2005 Workshop on Techniques, Methodologies and Tools for Performance Evaluation of Complex Systems
Modeling adaptive autonomous agents

Artificial Life
CPN tools for editing, simulating, and analysing coloured Petri nets

ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets

Quantified Score

Hi-index	0.01

Visualization

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.