Platform Independent Petri Net Editor (PIPE) creates and analyses Petri Nets quickly, efficiently, and effectively. A key design feature is the modular approach adopted for analysis, enabling new modules to be written easily and powerfully, using built-in data layer methods for standard calculations. Six analysis modules are provided, including Invariant Analysis, State-Space Analysis (deadlock, etc.), and Simulation Analysis and Classification. PIPE adheres to the XML Petri net standard (PNML). The file format for saving and loading Petri Nets is extensible through the use of XSLT, the default being PNML.
Solu is a simple Web application meant for making it easy to find colleagues, meeting rooms, and other resources in an office. It has a self service model without any authentication or permission checks, where anyone can find and update any resource's information. Besides the easy installation, all you need to set up an instance is your office map or office floorplan or blueprints stored as an image file.
Computation Job Management (jobman) is a program that calls executables according to a given program flow. Each executable is run in a separate process. It is useful when a project needs to carry out a series of calculations that are performed by software written in different languages or supplied by third parties, but invoking individual programs manually is error prone and hard to manage. The various individual programs don't communicate with each other except via persistent storage. This is especially the case for some scientific computing, quantitative finance, and prototyped programming.