Nets
Petri nets Emulator v.r76
Petri-nets editor and emulator. Petri nets Emulator is an open source project under GNU Public License. It is developed by several students of NTUU "KPI" and is written on Java. This desktop software is used for editing and emulating Petri nets.
Cyclidic Nets v.1.0
Easily extend circular nets to cyclidic nets. Cyclidic nets are a discretization of orthogonal nets, closely related to the discretization as circular nets. In Euclidean 3-space they discretize curvature line parametrized surfaces resp.
WoPeD v.2.6.0
Analyze workflow process with this software. WoPeD is a Java-based graphical workflow process editor, simulator and analysor using Petri Nets and supporting the PNML format.
PetriNetExec v.0.1.3.77
PetriNetExec was developed as an accessible and Open Source library that allows its users to embed Petri Nets into Java applications.
Yasper v.2.0.17
Yasper is a tool for modeling and simulating stepwise processes. Yasper was designed to make it easy to model and simulate typical workflow processes. Yasper uses extended Petri nets as its modeling technique.
PC Inventory Advisor v.3.2.791
PC Inventory Advisor 3.0 - agent-free solution for network inventory of Windows nets with flexible HTML reports. Software and hardware audit becomes simpler with this new elegant PC audit solution.
APIS IQ-FMEA v.6.0
FMEA (all standards) & DRBFM editors: Structure Tree, Function Nets, Function Nets with Operating Conditions, FMEA Form Sheet, Statistics, Action Tracking, Fault Tree Analysis, IQ-Explorer, Team Communication, Terminology and Translation, Cause and E
Belief and Decision Networks v.5.1.9
View and solve Bayesian Nets fast and easy. Bayesian Belief and Decision Networks help you solve Bayesian Nets. It has a robust variable elimination algorithm,
BioPathXplore v.1.0
BioPathXplore is a Bioinformatics Pathway eXploration tool for the visualization and exploration of biological pathways through the integration of KEGG pathways and high throughput data, using Petri nets.
Petri Net Editor v.1.0
Petri Net Editor is an editor for stochastic Petri-nets which allows creating reachability trees and Markov graphs, simulating and gathering statistics on simulation. Create and edit stochastic Petri-nets with this tool.Requirements: *
Hybrid Petri Net ICSI Simulator v.1.0.1
Create and simulate Hybrid Petri Nets.