Search Results for "net"

SEPIA provides implementations for various types of Petri nets. Along Place/Transition-nets, it supports Petri nets with distinguishable token colors and defines coloured workflow nets, where coloured tokens are interpreted as data elements used during process execution. To support information flow analysis of processes, SEPIA defines so-called IF-Nets, tailored for security-oriented workflow modeling which enable users to assign security-levels (HIGH, LOW) to transitions, data elements and...

BianLian Framework plan to establish a cross-platform, cross-language, JSF .NET like solution. To make all the GUI (both JSF .net and so on) INDEPENDENT to implementation. PS, BianLian is the famous Chinese art with about 1000 years history.

Water: a fast, secure, dynamic OO language and database. Water is an all-purpose language (and meta-language) that runs Web applications in the browser or server-side. Water is compatible with .NET, Java, and C on Windows, Linux and Mac OS X system.

RADLib is a graphics library. It was written in order to help developers design graphics applications easily and quickly. The library is available for .NET, Java, Delphi, Kylix.

MEM Net - Mote EMulator Network. This project will focus on: 1) MEM - Wireless Sensor Node (mote) emulator 2) MEM Net - network of emulated motes So far, the only released package is “visual-sim-slides”. More comming next !

QPME (Queueing Petri net Modeling Environment) is a performance modeling and analysis tool based on the Queueing Petri Net (QPN) modeling formalism.

Simple editor and analyzer of Petri nets. It allows you to build reachability tree with/without instant transitions and Markov chains. It is also possible to set transition distributions and set all the parameters of the current distribution. This project was made as a course project at NTUU "KPI" during attending classes "Computer modelling". Feel free to make any changes to the current version or ask me if you have any question.