Petri Nets
Advertisement
Java Decision Diagram Libraries v.104
This project contains two different Binary Decision Diagrams (BDD) libraries: JBDD: a Java interface to two popular BDD libraries, CUDD and BuDDy.
Advertisement
Kbee.workflow v.1.2.0
Light workflow engine for developers built in Java.
Petri Heil - Gold Online v.3 11
Petri Heil - Gold Online is NEW fishing simulator. Is it possible to meet a person who didn't feel in his childhood the anxious feeling having caught a fish! Heavy, wide, majestic fish - this is your trophy! Interesting actions, fascinating game
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.
82Stats: New Jersey Nets v.1.1.0.0
82Stats is built to help you monitor the New Jersey Nets Basketball team schedule, roster, win/loss record,
Brooklyn Nets App v.1.0.0.0
This is the most comprehensive app for the brooklyn nets available online today. Some of the features that make this the best app include: - 4 podcasts which include Believe the Hype, NBA today, NBA hangtime and Pardon the Interruption - You also
PetriKit: Petri Net Analysis Toolkit v.1.0
PetriKit is a modular toolkit for Petri Net analysis.
Petri-LLD v.1.0
Petri-LLD is a graphical development environment for real-time automation control and is written in Java.
Petri Heil v.1.02
This fishing simulator includes various fish, each of which possesses its own distinct behavior. In this game you can perfect your own instruments for fishing: a fishing rod, bob and others.
SipnLab v.1.0 Build 110328
SipnLab (Signal Interpreted Petri Net Laboratory) creates SIPN and generate AWL-Code for SPS. This software is based on open source Project "Pipe 2.5".Features: 1. GUI-Editor for SIPN, 2.