sarahtattersall / PIPELinks
PIPE - Platform Independent Petri Net Editor
☆240Updated 3 years ago
Alternatives and similar repositories for PIPE
Users that are interested in PIPE are comparing it to the libraries listed below
Sorting:
- Petri Net Editor☆26Updated 7 years ago
- Java colored/timed petrinet simulator☆14Updated 14 years ago
- The Git repository for the mCRL2 toolset.☆100Updated this week
- Open-source implementation of the Action Language for fUML (Alf) specification.☆30Updated 2 years ago
- A Free and Open Source Java Framework for Multiobjective Optimization☆339Updated this week
- RelaX - a relational algebra calculator☆305Updated this week
- The Chuffed CP solver☆105Updated 2 months 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…☆155Updated last week
- Main repository of the GreatSPN framework☆47Updated 4 months ago
- XCSP3 Tools in Java☆22Updated 2 weeks ago
- A suite of MiniZinc benchmarks.☆85Updated 4 years ago
- An open-source Java library for Constraint Programming☆722Updated 2 months ago
- Multi-agent systems Development Kit - version 6☆44Updated 2 months ago
- Web-based Generic Modeling Environment☆165Updated 5 months ago
- 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 last year
- Declarative specification and drawing of UML diagrams☆349Updated last year
- ECJ Evolutionary Computation Toolkit☆127Updated 2 years ago
- small MiniZinc examples demonstrating various language features☆125Updated 7 years ago
- The MiniZinc compiler☆553Updated 2 weeks ago
- Modal Logic Playground☆370Updated last year
- The #SAT solver sharpSAT☆59Updated 2 years ago
- Open-source implementation of the Foundational Semantics for Executable UML Models (Foundational UML) specification.☆63Updated 2 years ago
- jMetal: a framework for multi-objective optimization with metaheuristics☆534Updated this week
- Generic Constraint Development Environment☆290Updated last month
- Implementation of multi-core (binary) decision diagrams☆75Updated last year
- ☆32Updated last year
- Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver☆77Updated last year
- LightJason - AgentSpeak(L++) for Java☆23Updated 3 years ago
- Petri Net Editor☆45Updated 3 years ago
- The main development version of the PRISM model checker.☆172Updated 3 weeks ago