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.
Sglib is a generic library for C that was inspired by the Standard Template Library from C++. It consists of a single header file and no binary code. It defines useful macros for sorting arrays and manipulating lists, sorted lists, double linked lists, hashed containers, and red-black trees. Macros are parametrized by the type of the data structure. The library does not enforce its own data representation, but acts on user-defined types. It does not enforce any particular memory management system.
SolarCalc is a program for estimating the solar radiation and electrical energy yield in a given site around the world. The software has been written in Qt and uses the most recent models of solar radiation conversion by PV effects. The software can take into account many aspects of solar systems such as detailed diffuse/beam correlation models, temperature effects, and shadowing effects. The system allows you to build a user-based archive of components, like solar panels and inverters. Many printing and exporting functions are available, as well as ready-to-use PDF report export.