petri
> petri-specs is a CLI tool used to generate a json spec file that defines the experiments aspects used by petri.
Quickly create AB Tests for texts without coding via [Wix Babel](https://bo.wix.com/wow/babel) & [Guineapig (Petri)](https://bo.wix.com/petri).
A lightweight TypeScript Petri net engine
Coloured Time Petri Net engine — TypeScript port
A visual editor for Petri nets
A library to express colored petri nets and analyze their behavior.
Petri Net modelling and execution
Petri net workflow engine with guards, executors, timeouts, persistence, and scheduling. Extends [petri-ts](https://github.com/joshuaisaact/petri-ts) with runtime capabilities for building stateful workflows.
A TypeScript-based implementation of a Petri net workflow, with guards.
Petri net modeling tool based on diagram-js for viewing and editing Petri nets in the browser. Supports the import and export of .pnml files.
Framework-agnostic Petri net gating for AI agent tool access control. Define safety constraints as Petri nets — tools are only allowed when an enabled transition permits them.
Compiles pseuCo programs to colored Petri nets.
A Symfony-compatible workflow engine for TypeScript and Node.js. State machines, Petri nets, guards, events, validation, and YAML/JSON/TypeScript import/export.
A simple node module for managing Petri Net state in applications. Async version
Create Petri-nets with js, ts, or json
Javascript/Typescript library of SVG object of Petri Net
The task accepts an object with the following arguments * **base `<string>`** path to the root of the project (default to `process.cwd()`) * **config `<object>`** petri-specs config object (default to `{}`) * **destDir `<string>`** path to the destination
This package is a simple Petri net editor implemented in React and Typescript using [React Flow](https://github.com/xyflow/xyflow).
Exemd driver for petri nets graphs
CPNsim is a Rust library and command-line tool with WebAssembly target for simulating Colored Petri Nets (CPNs)
Configurable MCP Knowledge Server with crawler+cache+local index (Petri Workspace Indexer).
A library to display and interact with Petri Nets.
The pnml-moddle-converter is a TypeScript library that provides functionality for converting between PNML (Petri Net Markup Language) and Moddle XML formats. It includes classes for representing different elements of a Petri net, such as places, transitio
Evolutionary computing toolkit
A library for simulating petri nets
A simple symbolic model checker for Petri Nets
A powerful program to view, edit and simulate petri nets
Detect deadlocks in Rust source code at compile time using Petri nets
A Petri net plugin for Bevy Engine.
A simple, safe and efficient library wrapper for simulating a minimal form of petri nets
A reducer for petri nets
A simple library for creating and exporting Petri nets
Petri net modeling with ODE simulation and token model DSL
A framework for Petri net manipulation
A Colored Petri Net library
A petri nets framework
YPetri is a DSL (domain-specific language) for modelling of dynamical systems. It is biologically inspired, but concerns of biology and chemistry have been purposely separated away from it. YPetri caters solely to the two main concerns of modelling, model specification and simulation, and it excels in the first one. Dynamical systems are described under a Petri net paradigm. YPetri implements a universal Petri net abstraction that integrates discrete/continous, timed/timeless and stoichiometric/nonstoichiometric dichotomies of the extended Petri nets, and allows efficient specification of any kind of dynamical system. Like Petri nets themselves, YPetri was inspired by problems from the domain of chemistry (biochemical pathway modelling), but is not specific to it. Other gems, YChem and YCell are planned to cater to the concerns specific to chemistry and cell biochemistry. A lower-level extension of YPetri is currently under development under the name YNelson. Its usage is practically identical to YPetri, so any YPetri user can now consider using YNelson instead. YNelson covers additional concerns: it allows relations among nodes and parameters to be specified under a zz structure paradigm (developed by Ted Nelson) and it is also aimed towards providing a higher level of abstraction in Petri net specification by providing commands that create more than one Petri net node per command. YPetri documentation is avalable online, but due to formatting issues, you may prefer to generate the documentation on your own by running rdoc in the gem directory. As for the user manuals, there are currently 3 documents applicable for both YPetri and YNelson, whose master copies are stored in the YNelson source directory: 1. Introduction to YNelson and YPetri (hands-on tutorial), 2. Object model of YNelson and YPetri, 3. Introduction to Ruby for YNelson users. These manuals are written to allow beginners, including those unfamiliar with Ruby, to start working with YPetri and/or YNelson. For an example of how YPetri can be used to model complex dynamical systems, see the eukaryotic cell cycle model which I released as "cell_cycle" gem.
Petri Net Workflow Engine for Ruby.
A Petri net modeling gem
This rubygem does not have a description or summary.
PetriDish - Under the microscope
A Petri net modeling gem
Petri Dish allows for various configuration options to let users to customize and experiment with different parameters and functions of the evolutionary algorithm.
A comprehensive gem for Petri net modeling, colored Petri nets, matrix analysis, visualization, and formal verification for event sourcing and CRUD-to-Event mapping analysis. Part of the ORFEAS (Object-Relational to Event-Sourcing Architecture) framework.
Petri Net simulator
petri-dish runs Claude Code sessions inside isolated cenv environments, captures hook events, and correlates them into structured results. Your ~/.claude is production; the dish is where you do science.
petri-dish runs Claude Code sessions inside isolated cenv environments, captures hook events, and correlates them into structured results. Your ~/.claude is production; the dish is where you do science.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
