lip6 / pnmlframeworkLinks
This repository hosts the source code of PNML Framework, the companion tool of ISO/IEC 15909-2 (Petri Nets Markup Language - www.pnml.org)
☆13Updated last year
Alternatives and similar repositories for pnmlframework
Users that are interested in pnmlframework are comparing it to the libraries listed below
Sorting:
- A multi-formalism, multi-solution model-checker centered on the language GAL☆25Updated 3 weeks ago
- A library of formal models in the jani-model format.☆12Updated 3 years ago
- Petri Net Editor☆26Updated 7 years ago
- A free, open-source Java library for modeling automata, graphs, and transition systems☆97Updated last month
- An Xtext language and example usage of it built with Maven☆62Updated this week
- The Melange Language Workbench☆29Updated 2 years ago
- SNAKES is the Net Algebra Kit for Editors and Simulators☆93Updated last year
- A Python(nic) Implementation of EMF/Ecore (Eclipse Modeling Framework)☆182Updated 9 months ago
- High-Level Nets Blaster for the Model-Checking Contest☆10Updated 10 months ago
- This contains the examples for the book "Implementing Domain-Specific Languages with Xtext and Xtend, 2nd edition"☆74Updated 5 years ago
- PIPE - Platform Independent Petri Net Editor☆243Updated 3 years ago
- Links to tools by subject☆376Updated last year
- Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…☆34Updated last year
- Modal Logic Playground☆373Updated last year
- The Object Constraint Language (OCL) is a language for describing rules that apply to MOF conform modelling languages like UML. The OCL i…☆57Updated this week
- MDEForge is an extensible modeling framework specifically conceived to support for discovery and reuse of existing modeling artefacts. MD…☆24Updated 2 years ago
- DSLs for modeling and analyzing farming systems☆12Updated 8 years ago
- An efficient graph solver for generating well-formed models☆25Updated 3 years ago
- An example of how to create a p2 composite update site during the build☆11Updated 5 years ago
- Marrying Search-based Optimization and Model Transformation Technology☆18Updated 6 years ago
- ☆27Updated 4 years ago
- Spoofax runtime☆149Updated 5 months ago
- ☆58Updated 2 months ago
- Python Bindings for the Probabilistic Model Checker Storm☆36Updated this week
- A model checker for safe Petri nets based on partial-order semantics☆13Updated 4 years ago
- Ecore for JavaScript☆69Updated 7 years ago
- JKind - An infinite-state model checker for safety properties in Lustre☆53Updated 3 months ago
- Intrepyd Model Checker☆18Updated 3 years ago
- Seven Languages in Seven Weeks (with Xtext)☆72Updated 2 years ago
- Multi-core Decision Diagram (BDD/LDD) implementation☆44Updated last year