Search Results for "petri-foo" - Page 2
Sort By:
Showing 34 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.
-
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.
-
1
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
-
2
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
-
3
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'".
-
4
PEP is a modelling and verification framework for parallel systems, providing a large number of different modelling languages and verification techniques (e.g. SDL, Petri nets and model checking)
-
Custom VMs From 1 to 96 vCPUs With 99.95% UptimeLive migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
-
5
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.
-
6
-
7
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. -
8
The PNMP (Petri Nets Modeling Platform) project aims at providing, in collaboration with Eclipse EMF, GMF, PNML Framework, and other future projects, a comprehensive approach to MDD for Embedded Systems on top of the Eclipse Project platform.
-
9
QPME (Queueing Petri net Modeling Environment) is a performance modeling and analysis tool based on the Queueing Petri Net (QPN) modeling formalism.
-
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.
