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.
nmdb is a network database (dbm-style) that can use multiple protocols to communicate with its clients. TIPC, TCP, UDP, and SCTP are currently supported. It consists of an in-memory cache that saves (key, value) pairs, and a persistent backend that stores the pairs on disk. Both work in combination, but the use of the backend is optional, so you can use the server only for cache queries, pretty much like memcached.