Search Results for "petri-foo" - Page 3
Sort By:
Showing 98 open source projects for "petri-foo"
View related business solutions-
Stop vibe-debugging.AppSignal's MCP server hands Claude, Cursor, or Zed your real errors, traces, and the deploy that shipped them. AI writes the fix; you review the diff.
-
Fully Managed MySQL, PostgreSQL, and SQL ServerCloud SQL handles your database ops end to end, so you can focus on your app.
-
1
-
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
foo is a sound synthesis framework which provides high-level abstracted ways of creating and manipulating sounds via a scheme language interface. foo is designed for highest audio quality rather than highest performance.
-
4
Identifies the structurally similar components in a graph. Can be used for graph based model such as Petri-Nets
-
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
5
This is a java based model checker that reduces the time required for model checking by distributed state-space exploration.
-
6
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.
-
7
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
-
8
A easy use Petri-Net (workflow) language based on PNML that fully integrates into the Spring Framework
-
9
...Implements a few html rewriting rules delineated by '<?pico>' tags, and makes it fairly easy to add more straight into the C code. Does not have complete HTTP standards compliance; if you need foo, add it in!
-
Our Free Plans just got better! | Auth0You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
-
10
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.
-
11
GPytage is a utility that helps manage Portage's user config files with a GTK interface. It supports the standard configuration file such as package.keywords and the directory type such as package.keywords/foo.
-
12
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.
-
13
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.
-
14
ACMgen is an automatic code generator of Asynchronous Communications Mechanisms based on the generation of Petri nets models that can be formally verified against some properties and then transformed into a real implementation (e.g. C++ or Verilog).
-
15
Foo Test is a small, fast C-function unit testing project. It is capable of both benchmarking and validating C-functions while writing most of the test code through an easy perl script, and all the developer needed code can be added to a single file.
-
16
Light workflow engine for developers built in Java. It is designed to be simple, versatile and focused on the developer. It includes a Petri Nets graphical process designer integrated to Eclipse and a query language similar to OQL
-
17
A Workflow Management System for scientific environments written in C++ based on the Petri Nets formalism. It uses the Grid Workflow Description Language (GWorkflowDL) as reference language.
-
18
Foo (abbreviation from football) is a playing machine of Paper Soccer, a pencil and paper game for two players, described in WIKIPEDIA. Written in Haskell, contains also simply interface using HOpenGL library. Provides bunch of playing algorithms.
-
19
Commonj Jboss Service based on myFoo implementation. This mbean is useful when you want run WorkManager and Timer under jboss. (ex. porting apps from ibm or bea to jboss). Use Foo-CommonJ as JSR 237 Implementation
-
20
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.
-
21
The Fuzzy Workflow Nets (FWN) is an implementation of Fuzzy Petri nets suitable for modeling business processes in an uncertain environment.
-
22
Fooblocks is just another Tetris-clone. It's purpose is solely educational - both for the developers of the project, and the intended audience. OS-independent language and SDKs will be used. A documentation in Bulgarian is planned.
-
23
This is a Petri Network(PN) Simulator and some of graph and digraph operations. It is written in VisualC++ 6.0 MDI document. It supports mPN,mJPN and mTPN. And the new version 2.5 suports also graph and digraph operations like: minimum cost trees, paths,
-
24
-
25
Library for easy parsing of config files in the smb.conf form. It provides a simple interface and allows queries like "Give me a value of parameter 'foo' from section 'bar'" or "Give me a list of all parameters in section 'foofoo'".
