PIPE - Platform Independent Petri Net Editor
☆250Jun 28, 2022Updated 4 years ago
Alternatives and similar repositories for PIPE
Users that are interested in PIPE are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Java colored/timed petrinet simulator☆15Apr 29, 2011Updated 15 years ago
- A simple Petri net framework in Java. I had to write this for my studies and figured it might be helpful for someone.☆35Sep 5, 2018Updated 8 years ago
- The Sirio library for the analysis of stochastic time Petri nets☆17Jul 5, 2025Updated last year
- Petri Net Plans library and applications☆31May 26, 2023Updated 3 years ago
- a library to implement generalised petri nets in C#☆25May 30, 2016Updated 10 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- This repository hosts the source code of PNML Framework, the companion tool of ISO/IEC 15909-2 (Petri Nets Markup Language - www.pnml.org…☆16Jun 10, 2026Updated 3 months ago
- A tool for symulating discrete-event systems using Petri nets.☆20Dec 18, 2016Updated 9 years ago
- Main repository of the GreatSPN framework☆55Feb 1, 2026Updated 7 months ago
- strace2seccomp - generates libseccomp policies from strace logs☆10Feb 19, 2020Updated 6 years ago
- the helena Petri net tool repository☆11Sep 8, 2021Updated 5 years ago
- Moved to Codeberg☆102Jun 3, 2024Updated 2 years ago
- Slides for the BCA☆14Mar 25, 2024Updated 2 years ago
- RISC-V CPU, simple 5-stage in-order pipeline, for low-end applications needing MMUs and some performance☆12Apr 28, 2026Updated 4 months ago
- Go Client for jAccount☆12Jul 18, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Base Forward Chaining Knowledge Base Maintenance System☆19Oct 2, 2021Updated 4 years ago
- A graphical programming language☆15Feb 22, 2012Updated 14 years ago
- Building Petri Nets in Javascript using Interaction Category semantics☆14Feb 1, 2017Updated 9 years ago
- ☆15Jun 26, 2011Updated 15 years ago
- Clone of NestedVM repository☆15Mar 31, 2017Updated 9 years ago
- Rescue the old functionality of the emblems property page in the new GNOME desktop☆15Sep 1, 2017Updated 9 years ago
- Mutation system for Java programs, including OO mutation operators.☆71Mar 28, 2019Updated 7 years ago
- A Tool for Multi-Paradigm Modeling☆25May 8, 2026Updated 4 months ago
- Metacognitive Integrated Dual-Cycle Architecture, Version 1.4☆10Jul 27, 2018Updated 8 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- www.photo.gallery / X3☆11Dec 22, 2024Updated last year
- Feature-Oriented and Distributed Version Control System☆19Aug 27, 2026Updated 3 weeks ago
- Lazy iterables in erlang☆12Sep 22, 2016Updated 10 years ago
- Petrinet.org interactive playground website☆16Oct 17, 2019Updated 6 years ago
- An Eclipse-based modeling framework for the component-based design and analysis of reactive systems☆36Updated this week
- A unification-based alias analysis and related tools☆35Oct 9, 2024Updated last year
- A flexible modeling notation Δ☆15Jul 29, 2026Updated last month
- Artifacts and other data for "Code Vectors: Understanding Programs Through Embedded Abstraced Symbolic Traces"☆22Jun 5, 2020Updated 6 years ago
- The MobSTr dataset provides artifacts that demonstrate Model-based Safety Assurance and Traceability for a safety-critical automotive sys…☆11Mar 18, 2022Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- URls for pointing to Defect4J bugs and diffs☆17Jan 17, 2018Updated 8 years ago
- This repository hosts all the projects used in the MDSE Book☆14Sep 17, 2019Updated 7 years ago
- Unix style pipes and a lambda shorthand syntax to make your Racket code more readable.☆27Mar 23, 2021Updated 5 years ago
- ☆10May 10, 2016Updated 10 years ago
- Fuzz testing for Dafny☆12Jul 7, 2022Updated 4 years ago
- Failure dataset accompanying the paper "How Bad Can a Bug Get? An Empirical Analysis of Software Failures in the OpenStack Cloud Computi…☆10Jun 12, 2020Updated 6 years ago
- ☆18Aug 4, 2026Updated last month