Macintosh Software / Education / Science

PetriKit: Petri Net Analysis Toolkit 1.0

Company: petrikit.sourceforge.net

Date Added: July 24, 2012 | Visits: 395

Report Broken Link
Printer Friendly Version

Product Homepage
Download (52 downloads)

PetriKit is a modular toolkit for Petri Net analysis. It allows the extraction of basic properties, extraction of invariants, and generation of reachability graph. Results can be formatted in plain text, HTML or XML files.

Requirements: No special requirements

Release Date: July 24, 2012

Platforms: Windows, Mac, Linux

Users rating: 0/10

License: Freeware

Size: 225.47 KB

USER REVIEWS

More Reviews or Write Review

PETRIKIT: PETRI NET ANALYSIS TOOLKIT RELATED

Multimedia & Graphics - Petri Net Editor New Petri Net Editor is a small, easy to use, Java based application specially designed to offer users an editor for stochastic Petri-nets. This tool is designed to also allow you to create reachability trees and Markov graphs, simulate and gather...
Science - Platform Independent Petri Net Editor 4.1 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.	28.38 MB
Programming - ShiftOne JRat (Runtime Analysis Toolkit) 1.0 JRat is the Java Runtime Analysis Toolkit. Its purpose is to enable developers to better understand the runtime behavior of their Java programs. The term behavior includes, but is not limited to performance profiling.	1.37 MB
Education - JPetriNet 1.1 The project JPetriNet is a Petri Net modeling, analysis and simulation tool made in Java Programming Language. JPetriNet was previously intended to aid educational activities but also could be used in any other purpose involving concurrent systems.	97.37 KB
Science - Resting state fMRI data analysis toolkit 1.3.090422 While resting-state fMRI is drawing more and more attention, there has not been a software for its data analysis. Based on MATLAB, we developed a package named REST. Currently REST has three main functions: function connectivity, ReHo and ALFF.	8 MB
Science - SNAKES 0.8.3 SNAKES is a Python library that provides all then necessary to define and execute many sorts of Petri nets, in particular those of the PBC and M-nets family. Its main aim is to be a general Petri net library, being able to cope with most Petri...	798.72 KB
Science - MAT - Music Analysis Toolkit 1.0 A fast, simple method of establishing musical genre of arbitrary compressed audio files calculated by comparisons with training sets. Program currently consists of a java console program. GUI front end, algorithm upgrades to come.	1.5 MB
Security Tools - Tattoo: Traffic Analysis Toolkit 0.3 Tattoo will provide a set of command-line scripts for analyzing raw tcpdump files or ASCII hexadecimal representations of network traffic to identify format, function, and communication model.	188.12 KB
Security - HIHAT 1.0 The High Interaction Honeypot Analysis Toolkit (HIHAT) allows to transform arbitrary PHP applications into web-based high-interaction Honeypots. Furthermore a graphical user interface is provided which supports the process of monitoring the...
Networking Tools - Net-Policy 2.2 The Net-Policy project allows system administrators to configure and manage their entire network at once. It is initially designed to configure firewall and IPsec connections across an entire network. Net-policy contains the following...	645.12 KB

NEW DOWNLOADS IN EDUCATION, SCIENCE

Education - Sliding Down an Incline Plane Model 1.0 This interactive simulation shows a stone block lying at rest on an inclined plane. Initially, the component of gravity along the plane surface is exceeded by the force of static friction. The slope of the ramp can be increased or decreased,...	51.2 KB
Education - MrAIC 1.4.4 MrAIC.pl is a Perl script for calculating AIC, AICc, BIC, and Akaike weights (for a review, see Burnham and Anderson, 2002) for nucleotide substitution models. Likelihood scores under different models are estimated using PHYML (Guindon and...	10.24 KB
Education - Three Charges 1.0 In this simulation, you can investigate the idea of the force between charged objects. Initially, the simulation sets up three charged objects, one at each corner of an equilateral triangle. The charges have different magnitudes - your job is to...	1.36 MB
Education - AWclust 3.0 AWclust is easy to use non-parametric population structure analysis software written for R with a GUI interface. Just point and click and you will be on your way to discovering the important cluster information in your SNP data sets.	20.48 KB
Education - BEAGLE/BEAGLECALL Scripts Package 1.0 These scripts are for importing and exporting files from the BEAGLE and BEAGLECALL Genetic Analysis Software Packages	317.44 KB
Science - Multiple beam interference 1.0 This applet shows multiple beam interferences from a parallel dielectric thin film. The applet lets you study the evolution of reflection and refraction factors when the index of refraction and the absorption of the film and the substrate are...	10.24 KB
Science - Point Charge Forces in 2D Model 1.0 The Point Charge Forces in Two-Dimensions model investigates the electric force that a charged particle experiences in a two-dimensional situation, because of four other nearby charged particles. The net electric force is shown as an arrow...	1.36 MB
Science - Lennard-Jones PVT System Model 1.0 The Lennard-Jones PVT System simulates a two-dimensional system of particles confined between a thermal reservoir and a piston. This computer model is designed to study the equation of state for particles interacting via a simple but realistic...	962.56 KB
Science - Ideal Fermi Gas Integral 1.0 The STP IdealFermiGasIntegral program numerically determines the value of the chemical potential of an ideal Fermi gas for a given temperature and density. STP IdealFermiGasIntegral is part of a suite of Open Source Physics programs...	476.16 KB
Science - JiveX DICOM Viewer 4.4 The DICOM Viewer is available as a free Personal Edition for non-commercial usage. This version is limited in its functionality and can only be used for a limited period of time. Note: This version expires on 2012-01-01. Before...	25.55 MB

Windows Software	BeOS Software
Macintosh Software	Linux Software
PDA Software	OS/2 Software
Mobile Software	Scripts