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.
☆33Updated 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
- JVM Abstracting Abstract Machine☆25Updated 6 years ago
- Java implementation of the Push programming language, a stack based language designed for genetic programming.☆24Updated 13 years ago
- Java colored/timed petrinet simulator☆14Updated 13 years ago
- Simple C++ Parser Combinator Library☆15Updated 9 years ago
- Sireum v3☆10Updated last year
- Library-based Language Extensibility☆39Updated 10 years ago
- A prototype meta DSL that generates Delite DSL implementations from a specification-like program.☆49Updated 7 years ago
- A recursive ascent/descent parser generator for Scala☆33Updated 2 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 7 years ago
- The semantics of Java in K☆19Updated 3 years ago
- Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…☆29Updated 9 years ago
- ☆22Updated 11 years ago
- A framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog]☆32Updated last year
- Java Software Transactional Memory☆57Updated 4 years ago
- Tests with PlusCal / TLA+☆25Updated 8 years ago
- linear algebra for tensors with symbolic and numeric scalars☆32Updated 5 years ago
- Savina is an Actor Benchmark Suite.☆36Updated 3 years ago
- Generic immutable recursive data representation API targeted at source code models and more.☆35Updated 2 weeks ago
- ☆13Updated 5 years ago
- Running CRDT experiments on top of https://github.com/vitorenesduarte/ldb☆15Updated 3 years ago
- High-performance virtual actor system framework on Seastar☆28Updated 5 years ago
- We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2☆26Updated 8 years ago
- [W.I.P] A Just-In-Time Java Virtual Machine written in Haskell☆21Updated 3 years ago
- A language for data modeling and incremental computing of derived values☆11Updated 8 months ago
- Oblivious RAM for Scala☆19Updated 4 years ago
- prototyping logic programming in Scala☆41Updated 2 years ago
- Bidirectional transformation for Relational view update Datalog-based Strategies☆21Updated last year
- High-Level Virtual Machine for statically-typed functional languages.☆48Updated 13 years ago
- A simple sparse bitmap implementation in java☆21Updated 9 years ago
- A Java implementation of the Shen programming language☆28Updated 5 years ago