Search Results for "petri-foo"
Sort By:
51 projects for "petri-foo" with 1 filter applied:
-
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.
-
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.
-
1
Inspect Petri
An alignment auditing agent capable of exploring alignment hypothesis
Inspect Petri is an open-source alignment auditing agent that lets researchers rapidly test concrete safety hypotheses against target models using realistic, multi-turn scenarios. Instead of building bespoke evals, Inspect Petri automatically generates audit environments from seed “special instructions,” orchestrates an auditor model to probe a target model, and simulates tool use and rollbacks to surface risky behaviors. -
2
ProM is the comprehensive, extensible framework for process mining. Process Mining deals with the a-posteriori analysis of (business) processes using enactment logs.
-
3
Java Modelling Tools is a suite of scientific tools for performance analysis and modelling using queueing theory and colored stochastic Petri nets. Models are solved either with analytical, asymptotic or simulation methods; workload characterization tools are also included in the suite. See the project website for more details: http://jmt.sf.net
-
4
WoPeD is a Java-based graphical workflow process editor, simulator and analysor using Petri Nets and supporting the PNML format.
-
Error to trace to log to deploy. One click. No SSH.AppSignal links every error to the trace, the trace to the log, the log to the deploy that shipped it.
-
5
This project moved to GitHub in 2021 and is available at: https://cbrinkrolf.github.io/VANESA/ This tool is a platform-independent software to create individual pathways and to examine biological networks of distributed, heterogeneous data sources, e.g. KEGG, BRENDA. VANESA also offers Petri net modeling of extended hybrid Petri nets which can be also simulated using the OpenModelica framework.
-
6
rust_cmd_lib
Common rust command-line macros and utilities
...It provides macros and utilities that let you spawn external processes, redirect input/output, and pipe commands together, all without invoking a shell. You can write something like run_cmd!(ls -l | grep foo > out.txt) in a more declarative style, rather than manually wiring up file descriptors, handles, and child processes. The library also supports features like variable substitution, scoped environment settings, and defining custom commands (functions) that behave like built-ins. It hides much of the boilerplate of std::process::Command when you're doing simple task automations, but still allows full flexibility when needed. ... -
7
Virtual Laboratory Environment
A multi-modeling and simulation environment to study complex systems
...The models can be developed with the DEVS formalism or with the classical mathematical formalism: Ordinary Differential Equation with Euler, Range-Kutta or QSS integrator, Finite state automaton (FDDEVS, UML State chart, Hybrid Petri net). The VLE environment provides an IDE to develop C++ models, DEVS coupled models. VLE have also three ports to use the VFL with Python, Java and R programming languages. -
8
The Lean Mean C++ Option Parser
A no-dependencies C++ program arguments parser
The Lean Mean C++ Option Parser handles the program arguments (argc, argv). It supports the short and long option formats of getopt(), getopt_long() and getopt_long_only() but has a more convenient interface. It is a freestanding, header-only library with no dependencies, not even libc or STL. It comes with a usage message formatter that supports column alignment and line wrapping, making it ideal for localized messages with different lengths. -
9
Juicy Breakout is a demo/example game created by grapefrukt (Martin Jonasson & Petri Purho) to explore and demonstrate “juiciness” in game feel, how small visual, animation, and feedback effects make a game feel more responsive, alive, and engaging. It’s built in ActionScript (Flash) and uses grapefrukt’s own libraries (grapelib) to handle game framework, input, rendering, etc. The demo showcases a Breakout-style (brick-breaking) game but with extra polish, effects, easing, cascading animations, sound, and visuals that exaggerate response so you feel every bounce, paddle movement, and collision. ...
-
$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.
-
10
Petri-LLD is a graphical development environment for real-time automation control and is written in Java. It is based on a form of Petri net, and compiles to a number of programmable logic controller (PLC) languages as well as Java and Visual Basic.
-
11
WOLFGANG
Editor for Petri nets
Wolfgang is a lightweight tool that allows users to easily create and edit Petri nets and check them against general and workflow specific net properties. Specifically, Wolfgang supports full PNML conform editing functionality of Place-Transition Nets (P/T-Nets) and Colored Petri Nets (CPN) as they are defined in the SEPIA package. Its simple and easy to use interface allows to quickly create Petri nets from scratch, edit them graphically in many ways, store and even export them as PDFs. ... -
12
-
13
QPNet
Synchronous Petri Nets' emulator
QPNet (Quick Petri Net) is a fast Petri Nets' emulator, created by students of Moscow State Technical University of Radio Engineering, Electronics and Automation. It brings benefits for the educational process, while being under further development and extension. QPNet это быстрый эмулятор сетей Петри, созданный студентами МИРЭА. Он применяется в учебном процессе, а так же продолжает разрабатываться и эволюционировать. -
14
Lawnet Downloader
A lawnet downloader for students of SMU and NUS
...Download the Android version of this app at https://play.google.com/store/apps/details?id=com.customautosys.caselist This program allows cases to be downloaded from reading lists quickly, saving students' time. Author: Wilson Foo Yu Kang Maintainer, SMU: Kevin Quah Lian Shen (kevin.quah.2010@law.smu.edu.sg) Maintainer, NUS: Please contact NUS Law Club (academics@nuslawclub.com) -
15
IMPORTANT NOTICE: This project has moved to GitHub: https://github.com/sarahtattersall/PIPE Releases will be posted here, but please check on GitHub for the most recent activity. Create, model and analyse Petri nets with a standards-compliant Petri net tool. PIPE2 is the active fork of the Platform Independent Petri net Editor project, which originated at Imperial College London.
-
16
Critterding
Evolving Artificial Life
Critterding is a "Petri dish" universe in 3D that demonstrates evolving artificial life. Critters start out with completely random brains and bodies, but will automatically start evolving into something with much better survival skills. -
17
Petri-Foo is a fork of the Specimen Sampler project featuring modulation routing, assignable MIDI controllers, sample auto-preview, xfades, improved sample viewer/marks editor, and many other updates.
-
18
MCloudSim/NovaCloudSim
a distributed cloud simulator written in Java
...All functions of CloudSim are reserved, and our newly added files are in the package org.cloudbus.cloudsim.nova. MCloudSim has following characteristics: (1) The overlay protocol can be freely replaced, and we have already ported Pastry, Kadmelia, Chord from PeerSim; (2) A Petri-Net workflow theory based task model is implemented to simulate distributed tasks; (3) A distributed cloud can be easily built by assembling and expanding the basic resource entities provided by the simulator. (4) ... If you have any questions, please contact nova@dsp.ac.cn. -
19
PetriNetExec: Java Embeddable Petri Nets
PetriNetExec a library for embedding Petri Nets into Java applications
.... * PetriNetExec is embeddable into your Java application. This means that you can build your own application and add Petri Nets into it. * PetriNetExec is open-source. -
20
zfind
zfind is a fast file search utility/API for searching within archives
Many times, developers (or even, normal users) run into an issue of searching for a resource that is inside a zip. Worse, that resource is inside a zip which is itself inside ANOTHER zip (i.e. nested archive). Possibly you need to verify whether a particular resource is present in an ear or you want to know part of a file name but don't know which zip/jar on your hard disk contains that class file. zfind solves this problem. zfind is very fast and it works on most common... -
21
-
22
NetBuilder' is a tool for building, visualizing, and simulating multi-layered biological networks, structured as hierarchical Petri-nets. It has a built-in stochastic simulator, but also provides easy access to other simulation and analysis.
-
23
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.
-
24
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.
-
25
...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!
