rmetzler / simple-java-petrinetLinks
A simple Petri net framework in Java. I had to write this for my studies and figured it might be helpful for someone.
☆34Updated 7 years ago
Alternatives and similar repositories for simple-java-petrinet
Users that are interested in simple-java-petrinet are comparing it to the libraries listed below
Sorting:
- A Java JIT compiler written in Haskell☆73Updated 12 years ago
- Generic immutable recursive data representation API targeted at source code models and more.☆37Updated last week
- A Java implementation of the Shen programming language☆28Updated 6 years ago
- Simple C++ Parser Combinator Library☆15Updated 10 years ago
- Distributed Algorithms — Online Textbook☆17Updated 5 years ago
- ☆71Updated 5 years ago
- Distributed Data Structures in Coq☆49Updated 12 years ago
- High-Level Virtual Machine for statically-typed functional languages.☆49Updated 14 years ago
- Savina is an Actor Benchmark Suite.☆38Updated 4 years ago
- A language for data modeling and incremental computing of derived values☆11Updated last year
- Orc programming language implementation☆45Updated 4 years ago
- High-performance virtual actor system framework on Seastar☆30Updated 6 years ago
- The eclipse plugin for frege, codename fregIDE☆31Updated 6 years ago
- Modernized Sisal Interpreter☆29Updated 7 years ago
- ☆34Updated 5 years ago
- Java colored/timed petrinet simulator☆15Updated 14 years ago
- Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time☆20Updated 7 years ago
- Fast Bytecode Analysis☆15Updated 10 years ago
- Materials and accompanying references for all things pwlconf related☆60Updated 6 years ago
- Graal is a Java toolkit for querying knowledge bases within the framework of existential rules, aka Datalog+/-. See Graal's homepage:☆50Updated 3 years ago
- ☆17Updated 10 years ago
- Awesome datalog libraries, tools and resources☆64Updated 6 years ago
- Kodkod solver for relational logic☆84Updated 2 years ago
- The semantics of Java in K☆19Updated 4 years ago
- This repository contains the Maude 2 interpreter source tree.☆43Updated 8 years ago
- Scala implementation of the Ctrie datastructure.☆176Updated 4 years ago
- Running CRDT experiments on top of https://github.com/vitorenesduarte/ldb☆15Updated 4 years ago
- A recursive ascent/descent parser generator for Scala☆34Updated 3 years ago
- A redis client for Racket.☆17Updated 10 years ago
- A simple interpreter and superoptimizer for the F18A instruction set used by GreenArrays chips.☆28Updated 5 years ago