Petri

Petri Heil - OnLine is a game-competition for true fishing fans. Enjoy New Version of intriguing and exciting fishing simulator with game results available on Internet at http://www.grivnagames.com/angeln You may participate in international fishing competition without leaving your...

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

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

For millions of men and women across the world, fishing is the number one way of escaping the hustle and bustle of hectic city life and the easiest way to get closer to nature. Unfortunately, most fishing fans simply don?t have time to make frequent and time-consuming long trips to their favorite...


Platforms: Windows

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

A function to automate bacterial colony counting in images of plated agar in a Petri dish.Provides colony_count.m to automate counting of bacterial colonies.The approach is as follows:1. Use Hough transform to locate Petri dish.2. Threshold with Otsu's method.3. Count colonies as regional maxima...


Platforms: Matlab

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

FOREVER is an environment to translate UML Sequence Diagrams to Petri Nets and ckeck system properties with SMV. The tool receives as input sequence diagrams of UML and provides the Petri net in three different formats: APNN, PNML and SMV .


Platforms: Mac

Icons based on memorable objects from the hit film. The collection contains 6 individual icons. Keywords: 2006 based brasgalla britain bros comic dagger dave england entertainment fi fiction film folder fox future graffiti guy hero hit icons kingdom knife lab mask memorable movie november...


Platforms: Mac

Features: - Petri net editor - Subnets - Role definitions - Static places (shared resources) - PNML import and export (Viptool non-standard dialect) - EPS and PNG export


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