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:
- Generic immutable recursive data representation API targeted at source code models and more.☆37Updated 3 weeks ago
- A Java JIT compiler written in Haskell☆73Updated 12 years ago
- High-performance virtual actor system framework on Seastar☆30Updated 6 years ago
- Simple C++ Parser Combinator Library☆15Updated 10 years ago
- Scala implementation of the Ctrie datastructure.☆175Updated 4 years ago
- A recursive ascent/descent parser generator for Scala☆34Updated 3 years ago
- ☆71Updated 5 years ago
- High-Level Virtual Machine for statically-typed functional languages.☆48Updated 14 years ago
- A Java implementation of the Shen programming language☆28Updated 6 years ago
- Clafer is a lightweight modeling language☆47Updated 10 months ago
- JVM bytecode assembler as REST api☆11Updated 5 months ago
- Distributed Data Structures in Coq☆49Updated 12 years ago
- ☆17Updated 10 years ago
- Giraph Docker image☆12Updated 9 years ago
- We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2☆26Updated 9 years ago
- scylladb jepsen clone☆16Updated last year
- ☆13Updated 6 years ago
- Codes related to Idris☆16Updated 10 years ago
- Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time☆20Updated 7 years ago
- An Inductive Logic Programming system for online learning of event definitions in the form of Event Calculus programs☆19Updated 5 years ago
- CoMingle: Distributed Logic Programming for Decentralized Mobile Ensembles☆33Updated 9 years ago
- Simple in-memory Graph Database/Cache (Triplestore): learn how a Graph DB works (educational, learner)☆12Updated 9 years ago
- Graphulo: Accumulo library of matrix math primitives and graph algorithms☆79Updated 4 months ago
- Deterministic Regular Expressions with Backreferences☆20Updated 5 years ago
- Wide World of Actors, or, Can I Have an Erlang Pony?☆12Updated 7 years ago
- The eclipse plugin for frege, codename fregIDE☆31Updated 6 years ago
- Pure Pony implementation of the MessagePack serialization format. msgpack.org[Pony]☆33Updated 2 months ago
- Fast Bytecode Analysis☆15Updated 9 years ago
- सूचि - Toolkit to build Distributed Data Systems☆53Updated 3 years ago
- The mm-ADT Virtual Machine☆35Updated 5 years ago