Search Results for "pipe petri net" - Page 2
Sort By:
Showing 52 open source projects for "pipe petri net"
View related business solutions-
Boost application security and continuity with SKUDONET ADC, our Open Source Load Balancer, that maximizes IT infrastructure flexibility. Additionally, save up to $470 K per incident with AI and SKUDONET solutions, further enhancing your organization’s risk management and cost-efficiency strategies.
-
HubSpot is an AI-powered customer platform with all the software, integrations, and resources you need to connect your marketing, sales, and customer service. HubSpot's connected platform enables you to grow your business faster by focusing on what matters most: your customers.
-
1
FOREVER is an environment to translate UML Sequence Diagrams to Petri Nets and ckeck system properties with SMV. The tool receives as input sequence diagrams of UML and provides the Petri net in three different formats: APNN, PNML and SMV .
-
2
An editor for stochastic Petri-nets which allows creating reachability trees and Markov graphs, simulating and gathering statistics on simulation. Created during "Computer simulation" course at Kiev Polytechnic Institute in 2010. Based on JGraphX.
-
3
This is a software library (written in C/C++) for parsing Petri nets described using an input language. It is intended primarily to allow researchers to develop Petri net tools without needing to spend time working on an input language or parser.
-
4
-
Speedy Claims became the top CMS-1500 Software by providing the best customer service imaginable to our thousands of clients all over America. Medical billing isn't the kind of thing most people get excited about - it is just a tedious task you have to do. But while it will never be a fun task, it doesn't have to be as difficult or time consumimg as it is now. With Speedy Claims CMS-1500 software you can get the job done quickly and easily, allowing you to focus on the things you love about your job, like helping patients. With a simple interface, powerful features to eliminate repetitive work, and unrivaled customer support, it's simply the best HCFA 1500 software available on the market. A powerful built-in error checking helps ensure your HCFA 1500 form is complete and correctly filled out, preventing CMS-1500 claims from being denied.
-
5
The aim of the PL-PSF project is to create a generic domain-independent combinatorial problem solver. It uses a petri-nets based model to represent the problems and problem decomposition/abstraction with graph topology analysis to solve them.
-
6
The Zefext an extended framework that integrates with PHP and ExtJS. Zend Framework-based system. The system is built on the PHP side objects, generating ExtJS javascript code. Built-in options: user management, access control, database management (MySQL
-
7
A easy use Petri-Net (workflow) language based on PNML that fully integrates into the Spring Framework
-
8
A comprehensive business framework to enable sophisticated enterprise workflows. Define, simulate and deploy cross-platform workflows while being able to enrich and customize the core services on demand.
-
9
Smart Thread Pool is a rich thread pool implemented in pure .net and can run on Windows, WindowsCE, Silverlight, ASP.NET, and Mono.
-
This means every device on your network, and every interface on every device is automatically analyzed for performance, errors, QoS, and configuration.
-
10
A simple visual editor for drawing OPJ models; these models represents an extension to the classic Petri-net diagram; they were developed before the unification of OO methodologies and the relative release of the first UML specification.
-
11
Rakiura JFern - lightweight Petri Net framework. Engine with the GUI simulator, written in Java and designed for Java developers. Supports multiple inscription languages: Java, Kawa, BeanShell and Clojure.
-
12
The Mediawiki Pipes extension implements external data access and processing through a series of configurable nodes that form a Pipe. The net effect is to create a Wiki based application framework. See http://www.mediawiki.org/wiki/Extension:Pipes
-
13
Geist3D is a graphics engine complete with an integrated development environment. It combines an extensible Scene Graph API with a Petri Net runtime kernel, the Lua scripting engine and rigid body physics.
-
14
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.
-
15
-
16
The Toolbox GraphC generates a graph of classes for fuzzy time Petri nets, taking into account unbounded transitions. This project is a scientific research project conducted by LAAS-CNRS and IRIT-UT1, France.
-
17
VisualPetri is Petri net editor for Windows platform based on GDI Plus library with an integrated simulator. Note: a Petri net is one of several mathematical representations of discrete distributed systems.
-
18
Demetrix is a Java-based process modelling system. The goal of the project is to develop a flexible framework for managing complex process models using Petri-Net-oriented methodologies (state-task networks and resource-task networks).
-
19
The Petri Net Kernel (PNK) is an infrastructure for building Petri net tools. It comes with a Java class library for Petri net applications, a graphical editor and several PNK applications. It is easy to extend the PNK by new Petri net types.
-
20
Bossa is a workflow engine written in Java. The engine is very fast and lightweight, uses a very expressive Petri net notation to define workflows, does not requires a RDBMS and is very simple to use and to integrate with java applications.
-
21
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.
-
22
Pipe Is not a Propeller Emulator, but provides a hosted environment for executing and debugging Parallax Propeller assembly code.
-
23
QPME (Queueing Petri net Modeling Environment) is a performance modeling and analysis tool based on the Queueing Petri Net (QPN) modeling formalism.
-
24
Petri Nets Editor
Simple petri net editor
Simple editor and analyzer of Petri nets. It allows you to build reachability tree with/without instant transitions and Markov chains. It is also possible to set transition distributions and set all the parameters of the current distribution. This project was made as a course project at NTUU "KPI" during attending classes "Computer modelling". Feel free to make any changes to the current version or ask me if you have any question. -
25