This repository hosts the source code of PNML Framework, the companion tool of ISO/IEC 15909-2 (Petri Nets Markup Language - www.pnml.org)
☆13May 20, 2024Updated last year
Alternatives and similar repositories for pnmlframework
Users that are interested in pnmlframework are comparing it to the libraries listed below
Sorting:
- High-Level Nets Blaster for the Model-Checking Contest☆10Jan 18, 2026Updated last month
- A multi-formalism, multi-solution model-checker centered on the language GAL☆28Updated this week
- SMPT is a SMT-based model checker for Petri nets focused on reachability problems that takes advantage of net reductions (polyhedral redu…☆29Jun 30, 2025Updated 8 months ago
- matter-js springs plugin☆11Apr 27, 2018Updated 7 years ago
- Examples of using LMAX Disruptor in a Java program☆10Oct 10, 2018Updated 7 years ago
- Simple demo of Spring Security + Facebook Login☆11Mar 10, 2017Updated 8 years ago
- ☆15Nov 25, 2020Updated 5 years ago
- Lazy python recipes.☆10Apr 17, 2021Updated 4 years ago
- Eclipse RCP application that is a general stand-alone installer for P2 based components.☆16Jan 10, 2017Updated 9 years ago
- JigLib rigid body physics engine☆12Feb 10, 2022Updated 4 years ago
- Java library for financial technical analysis with multiple technical indicators☆11Feb 11, 2023Updated 3 years ago
- My talk at PyCon Spain 2014 [Spanish]☆14Sep 8, 2021Updated 4 years ago
- Modern Swagger/OpenAPI integration for AdonisJS v6 with Scalar UI☆24Feb 3, 2026Updated last month
- This project is a aims a collection of examples revealing the rich possibilities of the library Prefuse. Prefuse is a set of software too…☆14Jun 21, 2022Updated 3 years ago
- ☆11Jul 1, 2021Updated 4 years ago
- Asset exporter tools for Oryol engine☆10May 12, 2020Updated 5 years ago
- Babel plugin for transforming ES2017 features Object.entries and Object.keys☆13May 2, 2024Updated last year
- Pure Swift library of Decision Diagrams.☆10Jul 21, 2021Updated 4 years ago
- the helena Petri net tool repository☆11Sep 8, 2021Updated 4 years ago
- Spi4J & Pacman: Model Driven Architecture for JavaEE applications☆11Oct 31, 2024Updated last year
- ☆18Feb 10, 2026Updated 3 weeks ago
- A Javascript library to display and interact with Petri Nets.☆14Nov 16, 2017Updated 8 years ago
- Sphinx theme for SciPy documentation and websites☆17Dec 30, 2021Updated 4 years ago
- Autonomous Theorem Prover for First Order Predicate Logic☆12Jun 29, 2020Updated 5 years ago
- Unified Maude model-checking tool☆13Feb 4, 2026Updated 3 weeks ago
- Rudd is a Binary Decision Diagram (BDD) library written in pure Go.☆13Nov 20, 2024Updated last year
- Example app for Contentful in Java☆10Jan 18, 2023Updated 3 years ago
- A web-based template for hosting systems for real-time music HCI.☆13Jul 6, 2024Updated last year
- Fork of http://asciitex.sourceforge.net/ with several improvements. But you should really be using https://github.com/bartp5/libtexprintf…☆13Jan 30, 2023Updated 3 years ago
- A set of notebooks to introduce neuroscientists to concepts in machine learning.☆15Aug 30, 2017Updated 8 years ago
- A mobile application project to book meeting room that use Estimote Beacons and Slack API.☆12Mar 5, 2018Updated 7 years ago
- Convert custom sql like dsl query to es query☆12Feb 27, 2020Updated 6 years ago
- A model checker for safe Petri nets based on partial-order semantics☆13Nov 30, 2020Updated 5 years ago
- 3D Engine written in C++11 (LLVM compatible) using OpenGL ES, GLFW, GLM and OpenCL.☆16Jan 27, 2016Updated 10 years ago
- A set of notebooks to introduce neuroscientists to concepts in information visualization.☆14Apr 27, 2018Updated 7 years ago
- writer.js is a simple text editor in the web☆10Sep 10, 2022Updated 3 years ago
- Lightweight java validator supporting Language Independent Validation Rules Specification (LIVR)☆13Apr 12, 2023Updated 2 years ago
- Unofficial build of Adobe Acrobat 9.5.5 running within a docker container forwarded to local X session, based on chrisdaish/acroread☆11Dec 13, 2018Updated 7 years ago
- Lucene fields and queries for interval fields.☆37Dec 23, 2015Updated 10 years ago