sarahtattersall / PIPE
PIPE - Platform Independent Petri Net Editor
☆237Updated 2 years ago
Alternatives and similar repositories for PIPE:
Users that are interested in PIPE are comparing it to the libraries listed below
- Petri Net Editor☆45Updated 2 years ago
- SNAKES is the Net Algebra Kit for Editors and Simulators☆90Updated 7 months ago
- A minimalistic and high-performance SAT solver☆1,044Updated 9 months ago
- Web-based Generic Modeling Environment☆161Updated this week
- The main development version of the PRISM model checker.☆163Updated 2 weeks ago
- This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives fro…☆149Updated last week
- A simple Petri net framework in Java. I had to write this for my studies and figured it might be helpful for someone.☆33Updated 6 years ago
- Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.☆383Updated last month
- PyNuSMV is a Python framework for experimenting and prototyping BDD-based model checking algorithms based on NuSMV.☆24Updated 6 years ago
- Python Bindings for the Probabilistic Model Checker Storm☆32Updated this week
- Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy☆188Updated 2 months ago
- Main repository of the GreatSPN framework☆42Updated 9 months ago
- A Python model checking package☆64Updated 4 months ago
- A Modern Probabilistic Model Checker☆143Updated last week
- Links to tools by subject☆374Updated 10 months ago
- SWI-Prolog stable releases☆224Updated last month
- Lingeling SAT Solver☆99Updated 10 months ago
- Automated Reasoning in Nonlinear Theories of Reals☆158Updated 7 months ago
- An extensible framework for feature-oriented software development☆130Updated 3 weeks ago
- pySMT: A library for SMT formulae manipulation and solving☆581Updated 5 months ago
- RelaX - a relational algebra calculator☆291Updated 2 months ago
- Ptolemy II is an open-source software framework supporting experimentation with actor-oriented design.☆101Updated last year
- Open Source AADL2 Tool Environment☆41Updated 3 months ago
- The MiniZinc compiler☆529Updated this week
- This repository hosts the source code of PNML Framework, the companion tool of ISO/IEC 15909-2 (Petri Nets Markup Language - www.pnml.org…☆12Updated 8 months ago
- A Tool for Multi-Paradigm Modeling☆24Updated 4 months ago
- Modal Logic Playground☆369Updated 11 months ago
- The Yices SMT Solver☆384Updated 2 weeks ago
- CaDiCaL SAT Solver☆403Updated this week
- An efficient graph solver for generating well-formed models☆25Updated 2 years ago