Search Results for "finite element in java"

Yaoqiang BPMN Editor is a graphical editor for business process diagrams, compliant with OMG specifications (BPMN 2.0 / DMN 1.1).

This library contains several of user material subroutines for implicit quasi-static (UMAT) and explicit dynamic (VUMAT) versions of the Abaqus solver. The project web site: http://abumpack.sf.net. The Abaqus is a proprietary finite element (FE) code ( http://www.3ds.com/products-services/simulia/products/abaqus/). Users can write subroutines for use with the Abaqus. Linear elastic, isotropic hardening plasticity, Gurson-Tvergaard-Needleman (GTN), Rousselier constitutive models...

CHSM is a language system for specifying concurrent, hierarchical, finite state machines (an implementation of "statecharts") to model and control reactive systems.

Simple implementation of finite state machine concepts. The project contain ease-to-use library and modeling graphical tool. Project define simple identical API for Finite State Machines for both language bindings (C# and Java).

A library to build and manipulate finite state automata, I/O automata, transducers and rational langagues in Java.

Waters - the Waikato Analysis Tool for Events in Reactive Systems. This software will enable users to create finite-state machine models in a graphical user interface, to simulate their execution, and to apply model checking algorithms to them.

Paxion is a graphical editor for Büchi automata (a special kind of finite state automata), written in Java. The ultimate goal is to provide a graphical frontend for several modelcheckers but it can already be used as a standalone editor of automata.

This is a little Java Swing applications that lets you draw Finite State Machines (FSMs) and generates portable ANSI-C source code.