Search Results for "pipe petri net"

SerialToIP is a simple Terminal Server software providing transparent pipe either in TCP server or TCP client socket mode from TCP/IP to a pre-configured serial port. Implemented in C# for .NET 2.0 so the command line version could work in Mono-runtime as well.

Petri-LLD is a graphical development environment for real-time automation control and is written in Java. It is based on a form of Petri net, and compiles to a number of programmable logic controller (PLC) languages as well as Java and Visual Basic.

SEPIA provides implementations for various types of Petri nets. Along Place/Transition-nets, it supports Petri nets with distinguishable token colors and defines coloured workflow nets, where coloured tokens are interpreted as data elements used during process execution. To support information flow analysis of processes, SEPIA defines so-called IF-Nets, tailored for security-oriented workflow modeling which enable users to assign security-levels (HIGH, LOW) to transitions, data elements...

IMPORTANT NOTICE: This project has moved to GitHub: https://github.com/sarahtattersall/PIPE Releases will be posted here, but please check on GitHub for the most recent activity. Create, model and analyse Petri nets with a standards-compliant Petri net tool. PIPE2 is the active fork of the Platform Independent Petri net Editor project, which originated at Imperial College London.

QPNet (Quick Petri Net) is a fast Petri Nets' emulator, created by students of Moscow State Technical University of Radio Engineering, Electronics and Automation. It brings benefits for the educational process, while being under further development and extension. QPNet это быстрый эмулятор сетей Петри, созданный студентами МИРЭА. Он применяется в учебном процессе, а так же продолжает разрабатываться и эволюционировать.

Helena is an explicit state model checker for high-level Petri nets.

Rakiura JFern - lightweight Petri Net framework. Engine with the GUI simulator, written in Java and designed for Java developers. Supports multiple inscription languages: Java, Kawa, BeanShell and Clojure.

A comprehensive business framework to enable sophisticated enterprise workflows. Define, simulate and deploy cross-platform workflows while being able to enrich and customize the core services on demand.

Smart Thread Pool is a rich thread pool implemented in pure .net and can run on Windows, WindowsCE, Silverlight, ASP.NET, and Mono.

A simple visual editor for drawing OPJ models; these models represents an extension to the classic Petri-net diagram; they were developed before the unification of OO methodologies and the relative release of the first UML specification.

The Mediawiki Pipes extension implements external data access and processing through a series of configurable nodes that form a Pipe. The net effect is to create a Wiki based application framework. See http://www.mediawiki.org/wiki/Extension:Pipes

Bossa is a workflow engine written in Java. The engine is very fast and lightweight, uses a very expressive Petri net notation to define workflows, does not requires a RDBMS and is very simple to use and to integrate with java applications.

QPME (Queueing Petri net Modeling Environment) is a performance modeling and analysis tool based on the Queueing Petri Net (QPN) modeling formalism.

Simple editor and analyzer of Petri nets. It allows you to build reachability tree with/without instant transitions and Markov chains. It is also possible to set transition distributions and set all the parameters of the current distribution. This project was made as a course project at NTUU "KPI" during attending classes "Computer modelling". Feel free to make any changes to the current version or ask me if you have any question.