JGenet

Brought to you by: jorgemg

Last Update: 2013-04-19

Browse Code

Get an email when there's a new version of JGenet

Java implementation of Genet, a tool for the synthesis and mining of Petri nets from Transition Systems. The tool is based on the theory of regions.

Project Activity

See All Activity >

Follow JGenet

JGenet Web Site

Other Useful Business Software

$300 Free Credits to Build on Google Cloud

New customers can spin up VMs, build with AI, and query data at no cost.

Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.

Start Free

Rate This Project

User Reviews

Be the first to post a review of JGenet!

Additional Project Details

User Interface

Command-line

Programming Language

Java

Registered

2009-08-02

Report inappropriate content

$300 Free Credits to Build on Google Cloud

New customers can spin up VMs, build with AI, and query data at no cost.

Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.

Start Free

Recommended Projects

WoPeD
WoPeD is a Java-based graphical workflow process editor, simulator and analysor using Petri Nets and supporting the PNML format.
The PEP tool
PEP is a modelling and verification framework for parallel systems, providing a large number of different modelling languages and verification techniques (e.g. SDL, Petri nets and model checking)
Platform Independent Petri Net Editor
IMPORTANT NOTICE: This project has moved to GitHub: https://github.com/sarahtattersall/PIPE Releases will be posted here, but please check on GitHub for the most recent activity. Create, model and analyse Petri nets with a standards-compliant Petri net tool. PIPE2 is the active fork of the Platform Independent Petri net Editor project, which originated at Imperial College London.
Java Modelling Tools
Java Modelling Tools is a suite of scientific tools for performance analysis and modelling using queueing theory and colored stochastic Petri nets. Models are solved either with analytical, asymptotic or simulation methods; workload characterization tools are also included in the suite. See the project website for more details: http://jmt.sf.net
NetBuilder' - Apostrophe
NetBuilder' is a tool for building, visualizing, and simulating multi-layered biological networks, structured as hierarchical Petri-nets. It has a built-in stochastic simulator, but also provides easy access to other simulation and analysis.