Heinz Oswald

Learn More
improving the usability of high order Petri nets. This paper describes an environment for the construction and execution of requirement specifications for embedded systems. High order Petri nets are used as a notation for the specifications. The environment consists of a net brows-er, a net editor, an animated net simulator and a simulation engine. A(More)
SUMMARY This paper deals with the basic principles of the new FEM software package FEAST. Based on an initial discussion of available software tools with respect to their application area, i.e., Education, Research or (industrial) Application, it illustrates the speciic demands for such PDE software which is aimed to solve 'real life' problems. For the(More)
  • 1