A simple library for modelling and executing Petri Nets
☆15Jan 5, 2015Updated 11 years ago
Alternatives and similar repositories for petri-net
Users that are interested in petri-net are comparing it to the libraries listed below
Sorting:
- Building Petri Nets in Javascript using Interaction Category semantics☆14Feb 1, 2017Updated 9 years ago
- Generate fake data for any purpose☆10Dec 21, 2020Updated 5 years ago
- Base Forward Chaining Knowledge Base Maintenance System☆19Oct 2, 2021Updated 4 years ago
- APT – Analysis of Petri nets and labelled transition systems☆19Feb 28, 2026Updated 3 weeks ago
- Sliding Puzzle solver and utilities☆10Jan 21, 2024Updated 2 years ago
- Ethereum DEVnet - one node, automatic address generation, genesis block setup + mining script ~160MB☆12Mar 6, 2021Updated 5 years ago
- Safely running potentially non-terminating functions in Elm.☆10Apr 20, 2021Updated 4 years ago
- Baking rumprun images with cargo☆12Sep 26, 2015Updated 10 years ago
- STOMP: Scheduling Techniques Optimization in heterogeneous Multi-Processors☆24Sep 17, 2025Updated 6 months ago
- Seax Virtual Machine☆11Feb 13, 2017Updated 9 years ago
- Scrapes Google's stock API☆17Sep 30, 2018Updated 7 years ago
- A package manager for RingoJS☆13Feb 24, 2015Updated 11 years ago
- Stereo lithography file support for Rust.☆12Jul 29, 2023Updated 2 years ago
- Visualize your CRITs IOC's in Maltego☆12Jan 13, 2015Updated 11 years ago
- Linenoise FFI binding in rust☆12Apr 4, 2022Updated 3 years ago
- Mirror of https://gitlab.redox-os.org/redox-os/liner☆14Jul 29, 2024Updated last year
- Simple frame profiler☆15Dec 26, 2017Updated 8 years ago
- mytoken - tutorial companion code☆11Nov 6, 2014Updated 11 years ago
- A Rust Finite State Machine (FSM)☆13Feb 1, 2014Updated 12 years ago
- Iterable maps library for Ethereum Solidity☆18May 31, 2017Updated 8 years ago
- An OmniGraffle stencil used to do color block wireframe☆13Oct 21, 2016Updated 9 years ago
- ☆14Dec 6, 2018Updated 7 years ago
- A persistent history tree for undo/redo☆25Apr 11, 2021Updated 4 years ago
- Dorado observation planning and scheduling simulations. Replaced by https://github.com/m4opt/m4opt☆23Oct 21, 2024Updated last year
- The Timeline Ontology is centered around the notion of timeline, seen here as a way to identify a temporal backbone. A timeline may suppo…☆16May 27, 2020Updated 5 years ago
- My old BASH dot-files... Try new one!☆13Aug 17, 2017Updated 8 years ago
- Ladder Logic Compiler for node.js and the web☆10Nov 18, 2014Updated 11 years ago
- general-purpose fast, stateless, and deterministic feature extractor written in golang for use in machine learning☆12Mar 17, 2018Updated 8 years ago
- ☆14Apr 7, 2016Updated 9 years ago
- Toolbox for PLC implementation building on the `ethercat` crate☆17Mar 25, 2025Updated 11 months ago
- An Ethereum Browser☆10Apr 29, 2020Updated 5 years ago
- Command-line interface to Pivotal Tracker☆21Jun 11, 2015Updated 10 years ago
- Rust support for Ragel☆83Feb 22, 2014Updated 12 years ago
- Configuration Tree for Python☆14Nov 28, 2023Updated 2 years ago
- Datawire Discovery is a WebSocket service registration, discovery, and notification system for microservice architectures.☆12Aug 22, 2016Updated 9 years ago
- Teaching a humanoid to walk(ish), then displaying in your browser (using tensorflow.js and reinforcement learning)☆10Sep 7, 2020Updated 5 years ago
- Echojs, Reddit and Hacker News in the CLI.☆16Feb 6, 2012Updated 14 years ago
- convtools is a specialized Python library for dynamic, declarative data transformations with automatic code generation☆40Feb 9, 2026Updated last month
- A scheduler to manage a multi tool dual arm robot while avoiding arm-to-arm collisions; considering complex side constraints; and optimiz…☆11Jul 6, 2021Updated 4 years ago