A spiral model of software development and enhancement
ACM SIGSOFT Software Engineering Notes
Statecharts: A visual formalism for complex systems
Science of Computer Programming
Modeling and Verification of Time Dependent Systems Using Time Petri Nets
IEEE Transactions on Software Engineering
Coloured Petri nets: basic concepts, analysis methods and practical use, vol. 2
Coloured Petri nets: basic concepts, analysis methods and practical use, vol. 2
Fundamenta Informaticae - Special issue on graph transformations
Proceedings of the Conference on The Future of Software Engineering
Manufacturing simulation: introduction to manufacturing simulation
Proceedings of the 32nd conference on Winter simulation
Modern Control Systems
From Graph Grammars to High Level Replacement Systems
Proceedings of the 4th International Workshop on Graph-Grammars and Their Application to Computer Science
A Concept of Hierarchical Petri Nets with Building Blocks
Papers from the 12th International Conference on Applications and Theory of Petri Nets: Advances in Petri Nets 1993
GECCO '05 Proceedings of the 7th annual conference on Genetic and evolutionary computation
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
A methodology for creating a virtual model for a flexible manufacturing system
Computers in Industry
Geometry-driven petri nets and a method for modelling mechatronic control systems
Geometry-driven petri nets and a method for modelling mechatronic control systems
An embedded integration prototyping system based on component technique
SEUS'07 Proceedings of the 5th IFIP WG 10.2 international conference on Software technologies for embedded and ubiquitous systems
The environment: an essential abstraction for managing complexity in MAS-Based manufacturing control
E4MAS'05 Proceedings of the 2nd international conference on Environments for Multi-Agent Systems
Resource-Oriented Petri Net for Deadlock Avoidance in Flexible Assembly Systems
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Using simulation and 3D graphics software to visualize formally developed control systems
Proceedings of the 15th WSEAS international conference on Computers
Hi-index | 0.00 |
The design process of automated manufacturing systems typically involves physical prototypes to validate the interactions between hardware and software components. However, physical prototyping is expensive and time consuming, which often leads to insufficient opportunities for testing early during the development cycle. Our objective is to improve this situation by providing a method to develop realistic prototypes using virtual reality technology that can be applied during earlier development stages. Our approach combines a virtual reality engine capable of enacting the laws of rigid body physics with a new hybrid software modelling language to control the simulated hardware using virtual sensors and actuators as they would be present in a physical prototype. The new modelling language is called Geometry-driven Petri nets (GPN) and combines a class of timed, high-level Petri nets with data structures used in state-of-the-art VR environments. This article describes the new GPN approach, applies it to a case study of an automated manufacturing line, and compares it with related approaches.