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
☆19Updated last year
Alternatives and similar repositories for TimedPetriNetEditor
Users that are interested in TimedPetriNetEditor are comparing it to the libraries listed below
Sorting:
- C-code generation and an interface between ControlSystems.jl and SymPy.jl☆55Updated 4 months ago
- Julia scripting OpenModelica interface☆42Updated last year
- A general purpose numerical simulator supporting nested dynamical systems and a convenient macro-based data logger.☆20Updated 11 months ago
- A borrow checker for Julia☆112Updated last month
- ☆18Updated 2 months ago
- Discrete event generation and simulation in Julia☆65Updated 2 years ago
- Probabilistic programming with programmable inference for parallel accelerators.☆40Updated last month
- provides a Julia wrapper for the PATH Solver for solving mixed complementarity problems☆56Updated 3 months ago
- Kite and tether models for the simulation of kite power systems☆21Updated 2 weeks ago
- A domain specific language (DSL) for probabilistic graphical models☆62Updated 2 weeks ago
- ☆76Updated 2 months ago
- Symbolic planners for problems and domains specified in PDDL.☆63Updated last month
- Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.☆12Updated 2 years ago
- Systems definitions in Julia☆44Updated last week
- Building dynamical systems compositionally☆75Updated this week
- Julia parser, interpreter and compiler interface for the Planning Domain Definition Language (PDDL). Planners not included.☆87Updated last year
- A library for defining and efficiently solving program synthesis tasks in Julia.☆35Updated last week
- ☆16Updated 3 weeks ago
- A course on composable system modeling, differential-algebraic equations, acausal modeling, compilers for simulation, and building digita…☆45Updated last month
- Julia package for providing frequency-stability test functions. Implemented so far in overlapping as well as consecutive form for phase o…☆14Updated 3 years ago
- A framework for composing and simulating multiphysics systems☆79Updated 2 weeks ago
- A Julia library for automated deduction in Euclidean geometry.☆24Updated 3 years ago
- Julia interface to GAlgebra via PyCall☆17Updated this week
- Build Petri net models compositionally☆89Updated 4 months ago
- DecisionProgramming.jl is a Julia package for solving multi-stage decision problems under uncertainty, modeled using influence diagrams. …☆49Updated 7 months ago
- Specify satisfiability modulo theories problems in Julia and use the SMT-LIB format to interact with SMT solvers.☆51Updated 2 weeks ago
- Core algorithms for equation-based modeling☆10Updated last year
- Reachability analysis for closed-loop control systems in Julia☆47Updated last week
- Julia interface to Z3☆71Updated last month
- The Juice package for circuits in artificial intelligence, both logic and probabilistic☆12Updated 3 years ago