rmetzler / simple-java-petrinet
A simple Petri net framework in Java. I had to write this for my studies and figured it might be helpful for someone.
☆34Updated 6 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
- Java colored/timed petrinet simulator☆14Updated 13 years ago
- Simple in-memory Graph Database/Cache (Triplestore): learn how a Graph DB works (educational, learner)☆12Updated 9 years ago
- Giraph Docker image☆12Updated 9 years ago
- JVM bytecode assembler as REST api☆10Updated last year
- Parallel boolean circuit evaluation☆20Updated 6 years ago
- Distributed Algorithms — Online Textbook☆16Updated 4 years ago
- Wren: Nonblocking Reads in a Partitioned Transactional Causally Consistent Data Store☆8Updated 6 years ago
- Sift is a basic, Relational Algebra based query engine built on top of Apache Arrow. It draws inspiration from Andy Grove's KQuery.☆22Updated 2 years ago
- ☆13Updated 6 years ago
- Demo re-implementation of the Hadoop MapReduce scheduler in Python☆13Updated 9 years ago
- Simple C++ Parser Combinator Library☆15Updated 9 years ago
- A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database☆11Updated 3 years ago
- Running CRDT experiments on top of https://github.com/vitorenesduarte/ldb☆15Updated 4 years ago
- Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time☆20Updated 6 years ago
- APT – Analysis of Petri nets and labelled transition systems☆19Updated last year
- A language for data modeling and incremental computing of derived values☆11Updated 11 months ago
- Java CRDT Library with a focus on supporting Riak.☆41Updated 12 years ago
- A convenience library for the integration of FoundationDB and various layers in a Dropwizard service.☆12Updated last week
- TLA+ specification for the Raft consensus algorithm (with Pre-Vote)☆12Updated 7 years ago
- This is a clone of an SVN repository at svn://svn.forge.objectweb.org/svnroot/sat4j/maven/trunk. It had been cloned by http://svn2github.…☆9Updated 8 years ago
- A distributed key-value store based on replicated LSM-Trees☆10Updated 7 years ago
- A simple sparse bitmap implementation in java☆21Updated 9 years ago
- Low-latency Overlog runtime☆18Updated 9 years ago
- Transparent acceleration for Java NIO applications via UCX☆22Updated last week
- A Java implementation of the Shen programming language☆28Updated 5 years ago
- Java Software Transactional Memory☆57Updated 4 years ago
- A Datalog execution engine for Scala☆10Updated 3 weeks ago
- TorcDB: A Low-Latency Graph Database on RAMCloud☆19Updated 6 years ago
- How to write interpreters or dynamic compilers for dynamically typed languages on top of the JVM☆16Updated last month
- View Zookeeper znode tree in a browser☆26Updated 9 years ago