Search Results for "petri-foo"

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.

Yet another serialization library on top of data classes, inspired by serde-rs. Declare a class with pyserde's @serde decorator.

...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.

O PETRILab é um software multiplataforma desenvolvido inteiramente em Python. Ele permite a modelagem e simulação de Redes de Petri Interpretadas para Controle (RPIC), tendo suporte a todos seus elementos: lugares, transições, arcos ordinários e inibidores, eventos, condições e ações. Com uma interface gráfica simples e intuitiva, o usuário consegue modelar e simular passo-a-passo sua RPIC de forma rápida e prática, afim de estudá-la e aprimorá-la. Além disso, o software conta com uma conversão automática de RPICs em diagramas Ladder, como proposto no artigo de M. ...

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.

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.

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.

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.

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.

FuXi (pronounced foo-shee) is a forward-chaining production system for Notation 3 Description Logic Programming. It is implemented as a companion to RDFLib – which it requires for its various RDF processing.

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?"

MC Foo is an advanced, adaptive and learning mp3 jukebox server.

RefChecker is a model checker for systems with a dynamic structure, such as e.g. Object Petri Nets.