Inspect Petri Files

An alignment auditing agent capable of exploring alignment hypothesis

This is an exact mirror of the Inspect Petri project, hosted at https://github.com/meridianlabs-ai/inspect_petri. SourceForge is not affiliated with Inspect Petri.

The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.

Name	Modified	Size	InfoDownloads / Week
v2.0.0	2026-01-22		0
v0.2.0	2025-10-06		0
Totals: 2 Items			0

Other Useful Business Software

Enterprise-grade ITSM, for every business

Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity.

Freshservice is an intuitive, AI-powered platform that helps IT, operations, and business teams deliver exceptional service without the usual complexity. Automate repetitive tasks, resolve issues faster, and provide seamless support across the organization. From managing incidents and assets to driving smarter decisions, Freshservice makes it easy to stay efficient and scale with confidence.

Try it Free

Gemini 3 and 200+ AI Models on One Platform

Access Google's best plus Claude, Llama, and Gemma. Fine-tune and deploy from one console.

Build, govern, and optimize agents and models with Gemini Enterprise Agent Platform.

Start Free

Gemini 3 and 200+ AI Models on One Platform

Access Google's best plus Claude, Llama, and Gemma. Fine-tune and deploy from one console.

Build, govern, and optimize agents and models with Gemini Enterprise Agent Platform.

Start Free

Recommended Projects

Platform Independent Petri Net Editor
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.
The PEP tool
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)
VisualPetri
VisualPetri is Petri net editor for Windows platform based on GDI Plus library with an integrated simulator. Note: a Petri net is one of several mathematical representations of discrete distributed systems.
Petri Net Editor
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.
JFern, Java-based Petri Net framework
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.

Inspect Petri Files

An alignment auditing agent capable of exploring alignment hypothesis

Get an email when there's a new version of Inspect Petri