Lecrapouille / TimedPetriNetEditorLinks
[Application][Version 0.4.0][Functional] A timed Petri net and graph event editor and simulator combined to (max,+) algebra with wrapped API for Julia lang
☆17Updated last year
Alternatives and similar repositories for TimedPetriNetEditor
Users that are interested in TimedPetriNetEditor are comparing it to the libraries listed below
Sorting:
- Julia scripting OpenModelica interface☆41Updated last year
- Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.☆12Updated last year
- ☆16Updated last month
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆31Updated last month
- ☆11Updated 3 weeks ago
- A library for defining and efficiently solving program synthesis tasks in Julia.☆31Updated last week
- C-code generation and an interface between ControlSystems.jl and SymPy.jl☆54Updated last month
- ACSets: Algebraic databases as in-memory data structures☆25Updated 3 weeks ago
- Discrete event generation and simulation in Julia☆63Updated last year
- Kite and tether models for the simulation of kite power systems☆19Updated last week
- A framework for composing and simulating multiphysics systems☆72Updated last week
- Exact reduction of ODE models via linear transformations☆12Updated last year
- Building dynamical systems compositionally☆73Updated this week
- A general purpose numerical simulator supporting nested dynamical systems and a convenient macro-based data logger.☆20Updated 7 months ago
- Specify satisfiability modulo theories problems in Julia and use the SMT-LIB format to interact with SMT solvers.☆49Updated 2 weeks ago
- Simplicial Sets and the Discrete Exterior Calculus☆39Updated this week
- Julia interface to Z3☆69Updated 3 weeks ago
- Huzita-Hatori axioms for origami, implemented using 2D projective geometric algebra.☆12Updated 4 years ago
- Error-free transformations are used to get results with extra accuracy.☆14Updated 7 months ago
- Automorphism groups for CSets - generalizing the nauty algorithm to a broad class of data structures☆14Updated last year
- Symbolic planners for problems and domains specified in PDDL.☆61Updated 4 months ago
- ☆70Updated 3 weeks ago
- Julia wrapper for the Spot LTL and automata manipulation library☆18Updated last year
- Structured decompositions!☆14Updated 5 months ago
- A borrow checker for Julia☆111Updated last month
- provides a Julia wrapper for the PATH Solver for solving mixed complementarity problems☆56Updated 11 months ago
- Build Petri net models compositionally☆88Updated 3 weeks ago
- Create NLPModels with JuMP☆37Updated last month
- DecisionProgramming.jl is a Julia package for solving multi-stage decision problems under uncertainty, modeled using influence diagrams. …☆48Updated 4 months ago
- ☆63Updated 7 months ago