petri net simulation

=NGinn - Petri-net based workflow engine for .Net= NGinn development blog - [http://nginn-dev.blogspot.com] NGinn's goal is to provide an easy to understand but expressive business process modeling language together with workflow engine capable of executing the processes. Main components of NGin...

This Project is an Integrated Development Environment for applications based on Actor Petri net Model. Actor Petri net Model can be an essential base model of Software Development. It can make you develop software in a real iterative way and see the running of your software, containing element ch...

A lightweight workflow engine based on Petri-Nets. Help improve Netz. Join <a href="http://groups.google.co.in/group/netz-developers?hl=en">Netz Developers group</a>

Petri-net is a graphic editor and emulator of petri-nets. It is written on Java by several developers. This application is the part of their study process.

= Abstract = Combining experimental and theoretical approaches to enlighten the functioning of molecular processes in the cell is a main goal in systems biology. Theoretical modelling of biological systems in particular will become more and more important to reduce wet lab experiments for target ...

The RAAR Project is an academic project which goal is to create a C/MPI code generator using [http://move.lip6.fr/software/METASCRIBE/ MetaScribe]. Our code generator takes as input a partitioned Petri-Net and generates a distributed application. The output language is C, and uses the [http://www.o...

Predicate Petri nets Verification in Prolog

This is a scientific initiation work and stills under development with ISO C++ on a GNU/Linux enviroment. One of the main intentions of this project is to be multi-platform. It works with multi-thread system to receive the data collected from sensors while builds a Petri Net representation in mem...

Welcome to student's Petri Net Simulator project. It was done by students from [http://www.ii.uj.edu.pl/ Jagiellonian University]. Our supervisor was Tomasz Krawczyk. Team: * [http://blog.mocna-kawa.com/ Wiktor Gworek] (architecture, model, Swing GUI), * Piotr Młocek (invariant analysis...