Petri

Petri Net Editor is a small, easy to use, Java based application specially designed to offer users an editor for stochastic Petri-nets. This tool is designed to also allow you to create reachability trees and Markov graphs, simulate and gather statistics on simulation. for WindowsAll Platforms: Windows

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. Platforms: *nix

Quickly encrypt and decrypt your files with Petri. View encrypted text and image files containing your passwords or other sensitive information. Petri is written in Java and therefore runs on any operating system supporting the Java Runtime Environment. Platforms: Windows, Mac, Linux

PetriKit is a modular toolkit for Petri Net analysis. It allows the extraction of basic properties, extraction of invariants, and generation of reachability graph. Results can be formatted in plain text, HTML or XML files. Platforms: Windows, Mac, Linux

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. Platforms: Windows, Mac, BSD, Linux

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. Platforms: Windows, Mac, Linux

SNAKES is a Python library that provides all then necessary to define and execute many sorts of Petri nets, in particular those of the PBC and M-nets family. Its main aim is to be a general Petri net library, being able to cope with most Petri nets models, and providing the researcher with a tool... Platforms: *nix

Secure-SMTPD extends on Petri Lehtinen's SMTPD library adding support for AUTH and SSL. Platforms: *nix

The P-UMLaut tool allows the user to transform UML 2.0 Sequence Diagrams to semantically equivalent Petri Nets. These Petri Nets may then be simulated using the supplied PN simulator (of PEP descent) or operated on with any tool that can work with high level Petri Nets. By plugging different... Platforms: *nix

Java editor for petri nets, based on the ARP analyzer. Exports nets to GIF, JPEG, PNG, PPM, ARP and PNML (XML based) file format. Uses the excellent JHotDraw 5.2 framework. Platforms: Windows, Mac, Linux

The project JPetriNet is a Petri Net modeling, analysis and simulation tool made in Java Programming Language. JPetriNet was previously intended to aid educational activities but also could be used in any other purpose involving concurrent systems. Platforms: Windows, Mac, Linux

NetBuilder' is a tool for building, visualizing, and simulating multi-layered biological networks, structured as hierarchical Petri-nets. It has a built-in stochastic simulator, but also provides easy access to other simulation and analysis. Platforms: Windows, Mac, Linux

WoPeD (Workflow Petri Net Designer) is an open-source software developed at the Cooperative State University Karlsruhe under the GNU Lesser General Public License (LGPL). The main goal of this tool is to provide an easy-to-use software tool for modelling, simulating and analyzing workflow process... Platforms: Mac

GNU BPEL2oWFN project translates a web service expressed in WS-BPEL (Web Service Business Process Execution Language) into an oWFN (open Workflow Net). This oWFN can be used to: - check for controllability or generate the operating guideline using the tool Fiona, - check for deadlocks or any... Platforms: *nix

ProM is a new era in process mining tool support. Process Mining research is concerned with the extraction of knowledge about a (business) process from its process execution logs. Process Mining strives to gain insight into various perspectives, such as the process (or control flow)... Platforms: *nix

Depends project is a generic dependency tracker in C++. The educational purpose of Depends Much of Depends is its documentation: it explains in much detail how the dependency tracker is implemented and should be clear enough for any programmer to understand both how it is implemented and how... Platforms: *nix

This project contains two different Binary Decision Diagrams (BDD) libraries: JBDD: a Java interface to two popular BDD libraries, CUDD and BuDDy. JDD: a native Java library supporting BDD, Z-BDD and more (graph/automata/Petri nets/SAT) Platforms: Windows, Mac, Solaris, Linux

Light workflow engine for developers built in Java. It is designed to be simple, versatile and focused on the developer. It includes a Petri Nets graphical process designer integrated to Eclipse and a query language similar to OQL Platforms: Windows, Mac, Linux

VLE is a multi-modeling and simulation environment to study complex dynamic systems. VLE is based on the discrete event specification DEVS. and it implements the DSDE formalism (A merge of Dynamic Structure DEVS, DSDEVS, with Parallel DEVS, PDEVS). VLE provides a complete set of C++ libraries,... Platforms: Windows, Mac, BSD, Linux

A stand-alone Quickbooks API for use by other modules. We're using this to synchronize users, accounts, and payments from our site to our Quickbooks accounting system.This module is in the Advantage Labs petri dish. Please review our module maintenance policy before contacting the maintainer with... Platforms: PHP