Search Results for "finite state"
Sort By:
Showing 39 open source projects for "finite state"
View related business solutions-
Gemini 3 and 200+ AI Models on One PlatformBuild generative AI apps with Vertex AI. Switch between models without switching platforms.
-
Try Google Cloud Risk-Free With $300 in CreditUse your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.
-
1
JQM Java Quine McCluskey
JQM - Java Quine McCluskey for minimization of Boolean functions.
Java Quine McCluskey (JQM) implements the Quine-McCluskey algorithm with Petrick’s Method for minimizing Boolean functions. Designed for both education and industrial application, it handles up to 16 variables and functions. Uniquely, JQM bridges the gap between theory and practice: it visualizes the solution process with generated Karnaugh Maps for students, while supporting PLC engineers by exporting results to Structured Text (ST) and Ladder Diagram (LD). The software includes a GUI for... -
2
Physhun is a Java framework for building and executing finite state machines in J2SE and J2EE environments. State models are defined as collections of Spring beans, and do not use proprietary modeling languages. The framework is simple and flexible.
-
3
Virtual Laboratory Environment
A multi-modeling and simulation environment to study complex systems
...The models can be developed with the DEVS formalism or with the classical mathematical formalism: Ordinary Differential Equation with Euler, Range-Kutta or QSS integrator, Finite state automaton (FDDEVS, UML State chart, Hybrid Petri net). The VLE environment provides an IDE to develop C++ models, DEVS coupled models. VLE have also three ports to use the VFL with Python, Java and R programming languages. -
4
The Helsinki Finite-State Transducer toolkit is intended for processing natural language morphologies. The toolkit is demonstrated by wide-coverage implementations of a number of languages of varying morphological complexity.
-
Our Free Plans just got better! | Auth0You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
-
5
VeriSiMPL
Verification via biSimulations of Max-Plus-Linear models
This toolbox is used to generate finite abstractions of autonomous Max-Plus-Linear (MPL) systems over R^n. Abstractions are characterized as finite-state Labeled Transition Systems (LTS). The LTS finite abstractions are shown to either simulate or to bisimulate the original MPL system. LTS models are to be verified against given specifications expressed as formulae in Linear Temporal Logic (LTL) and Computation Tree Logic (CTL). -
6
This is a set of regular grammar inference libraries. It contains tools to visualise the resulting grammar as a finite state machine and to actively contribute to the inference process. The repository has now moved to https://github.com/kirilluk/statechum
-
7
Korat2015
Enhanced Korat supports GUI, FSM, JUNG and JSON.
...Korat 2015 includes the below enhancements to Korat: - Graphical User Interface using Java Swing - Graph Output Format using JUNG (Java Universal Network/Graph Framework) - Finite State Machine Domain - Graph Archival using JSON (JavaScript Object Notation) The Wiki page has information to download, install and run Korat 2015. -
8
A Java WEB application framework featuring: Flows (ie. components designed as finite state-machines usable as subflows, modal dialogs and components), a rendering engine able to refresh only changed parts of a web page via Ajax, and much much more ...
-
9
Java FiniteStateMachine
Simple Finite State Machine in Java
Implementation of a few Finite Automata in Java. The project is mainly of academic interest but can also be used to describe state transition diagrams in a business application. Check out the project wiki for a quick introduction: https://sourceforge.net/p/javafsm/wiki/Home/ -
Add Two Lines of Code. Get Full APM.Works out of the box for Rails, Django, Express, Phoenix, and more. Monitoring exceptions and performance in no time.
-
10
CHSM is a language system for specifying concurrent, hierarchical, finite state machines (an implementation of "statecharts") to model and control reactive systems.
-
11
FAIN SNMP Activator
Active Network Programming Language
FAIN SNAP provides an active network programming language and interpreter. It allows finite state machines to be operated over a number of network elements. Its main use is to program firewalls and raise alerts. It is a native Debian distribution. -
12
SemaRule Navigator is an Integrated Suite of Open-Source and Free-License Software, placing Semantic and Text Analysis Technologies in the toolbox of Researchers, Students, and Enterprises.
-
13
TinyWorkflow is a workflow engine written in 100% pure java. The "Workflows" used by this API are conceptually "Finite state machines" (a.k.a. "State-transitions diagrams"), they are encoded as XML.
-
14
An implementation of a finite state transition machine. This implementation does not tie itself to the way the state is kept. Extremely flexible. Extremely amenable for being scripted. Has OGNL support.
-
15
Core library for complex software project development. Features: semaphores, services, finite state machine, framework, utilities related to the middleware architecture and implementation.
-
16
superseded by SgpDec http://sgpdec.sf.net Java implementation of the holonomy algorithm for the algebraic hierarchical decomposition of finite state automata.
-
17
This is the tool for generating C++ and Java finite state machines and also diagrams. The benefits of this solution: It is light and fast. It is using dynamic memory allocation very low. Logic of transitions is separated from implementation of event
-
18
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).
-
19
A Java-based system for doing Model-Based Testing. Nephila will use Finite State Machine based models to create language-independent tests.
-
20
This project has been moved to the Tungsten project, which contains a number of Tungsten technologies together. Please visit at http://sourceforge.net/projects/tungsten. This project will not be further maintained.
-
21
-
22
MelaJò Portal Framework is a framework to develop Java Enterprise/J2EE/MVC based applications rapidly and easily. It's based on Finite State Machine concept. It's used for years to create real business web applications with J2EE architecture.
-
23
A generic finite state machine (FSM) API for the Java platform. The API enables creating a performing FSM at runtime and with type safety. Project also includes a non-blocking context scheduler for running FSMs over multiple contexts.
-
24
-
25
FSMGenerator is a turn-key solution for FSM (Finite State Machine) automatic generation and integration within user`s software. Please, register to get fast personalized support. Feedbacks, feature requests and bug reports are greatly appriciated.
