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.
Lincom is a Linux distribution created by volunteers who devote part of their time making Lincom an easy-to-use operating system. Lincom does not brand or make distribution-specific any part of software included, therefore, it is easy to customize to the user's taste. Lincom is fully customizable and the compilation of software that Lincom uses to create its distribution is easily available with full documentation of what Lincom does in terms of branding or customization.