sarahtattersall / PIPELinks
PIPE - Platform Independent Petri Net Editor
☆240Updated 2 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
- Petri Net Editor☆45Updated 3 years 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
- The MiniZinc compiler☆550Updated last week
- The Git repository for the mCRL2 toolset.☆98Updated this week
- small MiniZinc examples demonstrating various language features☆125Updated 7 years ago
- Simple recursive and iterative SAT solver written in Python.☆123Updated 6 years ago
- The ThingML modelling language☆105Updated 8 months ago
- SNAKES is the Net Algebra Kit for Editors and Simulators☆93Updated last year
- An efficient graph solver for generating well-formed models☆25Updated 3 years ago
- This project aims to promote the MultiAgent Oriented Programming (MAOP) approach by providing a suitable integration of tools and languag…☆88Updated 2 months ago
- Language definitions and styles for listings in LaTeX.☆68Updated 4 years ago
- Generic Constraint Development Environment☆291Updated 3 weeks ago
- Python Bindings for the Probabilistic Model Checker Storm☆33Updated this week
- A tool for analyzing and transforming context-free grammars.☆221Updated last month
- A multi-formalism, multi-solution model-checker centered on the language GAL☆25Updated 2 weeks ago
- The Sirio library for the analysis of stochastic time Petri nets☆14Updated 3 months ago
- Open-source implementation of the Action Language for fUML (Alf) specification.☆30Updated 2 years ago
- The main development version of the PRISM model checker.☆172Updated this week
- A Modern Probabilistic Model Checker☆147Updated this week
- Main repository of the GreatSPN framework☆46Updated 3 months ago
- The opensmt solver☆83Updated last week
- A Tool for Multi-Paradigm Modeling☆24Updated 8 months ago
- Implementation of multi-core (binary) decision diagrams☆73Updated last year
- Massif is a Matlab Simulink Integration Framework for Eclipse☆19Updated last year
- Ptolemy II is an open-source software framework supporting experimentation with actor-oriented design.☆108Updated last year
- LightJason - AgentSpeak(L++) for Java☆23Updated 3 years ago
- A free, open-source Java library for modeling automata, graphs, and transition systems☆94Updated 2 weeks ago
- Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.☆410Updated 6 months ago
- a collection of tools for GR(1) synthesis and related activities☆20Updated 5 months ago