Search Results for "petri-foo" - Page 4
Sort By:
Showing 98 open source projects for "petri-foo"
View related business solutions-
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.
-
$300 Free Credits for Your Google Cloud ProjectsLaunch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
-
1
glark offers grep-like searching of text files, with very powerful, complex regular expressions (e.g., "/foo\w+/ and /bar[^\d]*baz$/ within 4 lines of each other"), as well as highlighting of matches.
-
2
Java editor for petri nets, based on the ARP analyzer. Exports nets to GIF, JPEG, PNG, PPM, ARP and PNML (XML based) file format. Uses the excellent JHotDraw 5.2 framework.
-
3
Play as a Nano-bot to eliminate all the foriegn material in the Petri dish. Killing the sparce Bactirium will be easy but later on they will multiply at a high rate, dont get overran.
-
4
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.
-
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.
-
5
Quickly encrypt and decrypt your files with Petri. View encrypted text and image files containing your passwords or other sensitive information. Petri is written in Java and therefore runs on any operating system supporting the Java Runtime Environment.
-
6
The Concurrent Object-Oriented Petri Nets (CO-OPN) formalism is devised to support the specification of distributed systems in a modular way. Tools such as editors, syntax checker, test generator and prototype generator are proposed in this project.
-
7
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)
-
8
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).
-
9
VSTGL is a graphical editor for Signal Transition Graphs (STG) and Petri nets. VSTGL is able to export the created STG to Petrify - an advanced tool for analyzing and optimizing STG's - or run Petrify on the graph directly.
-
Build Agents and Models on One PlatformGemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
-
10
FooCore is a highly modified MOO core database originally derived from LambdaCore. mooserver-1.8.1+foo (also part of this project), developed along with FooCore, includes many changes and extensions which FooCore depends upon.
-
11
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.
-
12
A system for tracking the steps to compile and install software. Inspired by the "Linux From Scratch" book. Addresses issues: "What steps did I use to compile 'foo'?, what files did it install? I need to recompile but don't like typing all commands over.
-
13
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.
-
14
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.
-
15
keystory, by analyzing email history, gathers data on the usage of OpenPGP signatures, and provides information to imperfectly, but practically complement the web of trust, answering questions such as "What keys has foo@bar.baz.com used, where and when?"
-
16
mboxiter is a simple unix tool to iterate a command FOO over each rfc822 message in the common unix mailbox format, feeding one message at a time to the standard input of the command FOO.
-
17
-
18
-
19
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. -
20
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.
-
21
QPME (Queueing Petri net Modeling Environment) is a performance modeling and analysis tool based on the Queueing Petri Net (QPN) modeling formalism.
-
22
-
23
This project is an implementation of a BML realizer using ROS. The algorithm uses an event-driven architecture, based on Petri nets, to ensure synchronization constraints for robots.
