Petri Net Plans library and applications
☆31May 26, 2023Updated 2 years ago
Alternatives and similar repositories for PetriNetPlans
Users that are interested in PetriNetPlans are comparing it to the libraries listed below
Sorting:
- A Petri net based automation engine.☆18Jul 21, 2025Updated 7 months ago
- Simple Petri net editor and simulator☆12Feb 22, 2021Updated 5 years ago
- SwRI mobile manipulation platform☆12Jun 8, 2018Updated 7 years ago
- Vision-Based Path Tracking Control of a Mobile Robot via Fuzzy Logic☆15Apr 24, 2019Updated 6 years ago
- Code for the paper "Optimization Beyond the Convolution: Generalizing Spatial Relations with End-to-End Metric Learning" (ICRA 2018)☆15Jun 14, 2018Updated 7 years ago
- Planning Graph for AI Planning in Python☆18Feb 12, 2021Updated 5 years ago
- Project for converting multi-agent epistemic planning problems to automated planning problems. Also includes utilities for dealing with P…☆22Dec 10, 2024Updated last year
- Some AI planners that work with PDDL, file examples and integration in ROSPlan.☆25Apr 27, 2018Updated 7 years ago
- Packages to run the KUKA youBot in the Gazebo simulation with ROS☆25Nov 7, 2023Updated 2 years ago
- ☆32Mar 21, 2024Updated last year
- The repo contains source code of sampling-based LTL (linear temporal logic) path planning project.☆11Sep 19, 2023Updated 2 years ago
- tool for postgres to automatically build rest services and web forms☆13Updated this week
- High-level robotic simulator based on the Godot engine.☆39Jun 26, 2025Updated 8 months ago
- ☆15Sep 27, 2024Updated last year
- A Procedural City Generator script for Maya☆13Aug 7, 2013Updated 12 years ago
- Efficient Learning Interpretable Shapelets for Accurate Time Series Classification, ICDE 2018☆14Feb 23, 2018Updated 8 years ago
- ☆10Apr 11, 2023Updated 2 years ago
- ☆13Dec 16, 2025Updated 2 months ago
- Mainly on text documents. Implemented a Mini Search Engine using different algorithms and then summaried documents using lexrank.☆11Jan 19, 2018Updated 8 years ago
- Pogobot is an open-source open-hardware robotic platform for swarm robotics☆15Feb 27, 2026Updated last week
- GPS software using open street maps. Draw tracks, waypoints. Can find actual position.☆11Jun 1, 2011Updated 14 years ago
- An AI trading agents platform built on LangChain☆28Nov 11, 2025Updated 3 months ago
- Generic Task Manager for ROS☆38Feb 20, 2026Updated 2 weeks ago
- Real-time human attribute recognition algorithm for mobile robots in RGB-D developed within the context of the EU FP7 project SPENCER☆35Jun 16, 2016Updated 9 years ago
- The ZOT Bounded Model/Satisfiability Checker (previously hosted as zot.googlecode.com)☆10Jan 11, 2021Updated 5 years ago
- Relational Programming DSL in Scala. Yet another minikanren port!☆15Nov 11, 2016Updated 9 years ago
- 虚拟化学实验室☆11Jan 27, 2018Updated 8 years ago
- Collection of ROS packages to enable MoveIt!, move_base, FlexBE, etc. for the Kuka YouBot.☆11Nov 10, 2015Updated 10 years ago
- ☆13Oct 22, 2025Updated 4 months ago
- Fast Bytecode Analysis☆15Jan 2, 2016Updated 10 years ago
- An optimization based Cartesian controller for mobile manipulation of service robots in domestic environments☆10Oct 11, 2018Updated 7 years ago
- A thin abstraction layer to integrate Bullet and OpenSceneGraph☆14Feb 20, 2025Updated last year
- Pairwise registration by local orientation cues☆10Jan 14, 2018Updated 8 years ago
- Rapid system integration of high-level synthesis kernels using the LEAP FPGA framework☆12Apr 17, 2016Updated 9 years ago
- Code for the IROS 2021 paper "Learning of Parameters in Behavior Trees for Movement Skills". In short, we combine behavior trees (BT), a …☆13Jan 8, 2024Updated 2 years ago
- System FR: Formalized Foundations for Stainless☆12Feb 2, 2026Updated last month
- 服务端负载均衡， 提供文件的秒传，支持断点续传，对重复文件进行了空间优化， 所有相同的文件只占用一份存储空间。☆11Jun 17, 2017Updated 8 years ago
- Forecasting and anomaly detection of gas consumption☆10Aug 10, 2017Updated 8 years ago
- ☆17Nov 21, 2020Updated 5 years ago