Search Results for "finite state machine simulation"

Carassius is a tool for editing of Petri nets and graphs. It allows to create and edit models in a very simple manner. Carassius has features for model arrangements and formatting, thus it makes a model more readable and demonstrative. With Carassius one can simply construct the model and export automatically generated TeX-code for the paper. Suitable markup languages: PNML and graphML. System reqs: MS Windows and .NET Framework 4.0 or higher. Carassius is made in HSE PAIS Lab.

Stimulus Transitions Events, is a project that invokes events by 2 matrices, one state transitions to external stimuli and one with the list of events to run at such transitions. It improved a finite automaton, which can be used as a state machine

SIP.NET is SIP stack .NET library written in C#. SIP message parser realized on Deterministic Finite-state Machine (DFA parse all SIP message for one pass). DFA generates automatically from Augmented Backus–Naur Form from RFC3261.

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).

NState is a pragmatic Finite State Machine implementation in DotNET. FSMs are defined either in XML or programmatically, and can be run directly or compiled to either C# or VB.NET. Includes WinForms and ASP.NET Panels, and Visual Studio integration.

It's new technology for Development Personal Creation/Customization Services , based on XML standard and DAFSM (Finite State Machine Theory) , using multiple call control protocols.