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
☆20Updated 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 3 weeks ago
- A general purpose numerical simulator supporting nested dynamical systems and a convenient macro-based data logger.☆19Updated last year
- 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
- Kite and tether models for the simulation of kite power systems☆22Updated last week
- ☆16Updated 2 weeks ago
- Lorenz attraction app in Julia compiled to WebAssembly☆21Updated 2 years ago
- ☆19Updated last week
- A borrow checker for Julia☆137Updated last week
- Discrete event generation and simulation in Julia☆65Updated 2 years ago
- Exact reduction of ODE models via linear transformations☆12Updated last year
- Julia interface to Z3☆71Updated 2 months ago
- Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.☆12Updated 2 years ago
- Symbolic planners for problems and domains specified in PDDL.☆64Updated 3 months ago
- ACSets: Algebraic databases as in-memory data structures☆27Updated this week
- Julia scripting OpenModelica interface☆42Updated last year
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆38Updated 2 weeks ago
- Define a Parsing Expression Grammar via a macro and abuse of Julia syntax.☆33Updated 10 months ago
- Simulation and visualization of articulated rigid body systems in Julia☆74Updated 5 years ago
- Example of a Julia Package with Rust dependency.☆96Updated 3 years ago
- A library for defining and efficiently solving program synthesis tasks in Julia.☆35Updated this week
- ☆77Updated 4 months ago
- Systems definitions in Julia☆44Updated last week
- A library for visualizing and animating PDDL domains.☆15Updated last year
- Julia package to provide access to CMake☆13Updated 5 years ago
- A Julia library for automated deduction in Euclidean geometry.☆24Updated 3 years ago
- The Juice package for circuits in artificial intelligence, both logic and probabilistic☆12Updated 3 years ago
- An event based Discrete Event Simulation engine☆22Updated 4 years ago
- Create NLPModels with JuMP☆38Updated 3 weeks ago
- Fundamentals of the control-toolbox ecosystem☆13Updated this week
- Build Petri net models compositionally☆90Updated 5 months ago