🇺🇸 EN
The Petri Net System (PNeS for short) is an integrated graphical computer tool for building, modifying, analyzing many types of Petri nets (including fuzzy Petri nets), as well as controlling a mobile robot. The aim of the lecture is to present the main functionalities of PNeS, with particular emphasis on the functionality related to the possibility of controlling mobile robots. The current version of PNeS allows us to control the Lego Mindstorms mobile robot performing various tasks, including avoiding obstacles, reaching the target, following an obstacle, finding an exit from the labyrinth and influencing the environment by selecting the appropriate manipulators. In fact, the list of tasks for the robot can be more extensive, it depends mainly on the hardware configuration of the available robot in the control mode.
🇵🇱 PL
TODO
- Wikipedia o Sieciach Petriego PL [EN]
- pnml.org - gramatyka .PNML
- Model 3D CAD Mindstorms EV3
- Model 3D CAD Mindstorms EV3 2
- Porównanie i rozważania dot. systemów dokowania okien w JavaFX
- Różnica między 'package' i 'module' w javie
TODO
Aby dodać bibliotekę JMetro należy pobrać .jar, gdyż repozytorium Maven nie instaluje
poprawnie (zobacz ten post). Żeby to zrobić, pobierz plik jmetro-11.6.15.jar
z GitHuba i dodaj jako bibliotekę do projektu, lub dodaj do
własnego repozytorium maven - w sposób opisany we wspomnianym wcześniej poście.
Klasą główną jest klasa Main App.java
TODO
- Java 17 (w projekcie załączona Liberica)
- Maven 3
- JavaFX 17
- TiwulFX Dock
- jfxtras-styles - JMetro
- GitHub
- przykład użycia
- maven (nie działa instalacja, patrz Dodawanie JMetro)
- New BSD License