[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
License: GNU General Public License v3.0
Implement a light version when adding/remove arc or remove nodes.
Supprimer SFML et passer a 100% dear im gui. Tester d'abord si c'est simple de modifer une lib pour Petri:
Reprendre les bonnes choses de https://github.com/Lecrapouille/sfml-flow et de https://github.com/fredakilla/spkgen
rectangle rounded, message d'erreur "pop up", suppression des arcs, noeuds selectionnés quand la souris est dessus ...
i finished compile in linux :
cd TimedPetriNetEditor/
make download-external-libs
make -j8"
but when i run:
./build/TimedPetriNetEditor
encounter an error:
root@www:/home/vboxuser/Petri/TimedPetriNetEditor# ld/TimedPetriNetEditor
Setting vertical sync not supported
X Error of failed request: BadshmSeg (invalid shared segment parameter)
Major opcode of failed request:130 (MIT-SHM)
Minor opcode of failed request: 3 (X_ShmPutImage)
Segment id in failed request:0xa00026
Serial number of failed request:176
Current serial number in output stream:177
Since editor is in immediate mode, some heavy functions can be called at each cycle. For example:
switchOfNetLa var $(EXAEQUOS) est vide => Je compile en mode emscripten.
export PKG_CONFIG_PATH mais n'est pas pris en compte par le makefile.
Utiliser PKG_LIBS += glfw au lieu de glfw3.
emar a changé ses flags $(ARFLAGS)
Changer l'extension en .js au lieu de .html
Ne pas mettre -lphtread -ldl pour exaequos
Ne pas créer de shared lib pour exaequos
Editor/DearImGui/Backends/GLFW3/Application.cpp mettre le bon opengl pour exaequos
const char* glsl_version = "#version 300 es";
glfwWindowHint(GLFW_CONTEXT_VERSION_MAJOR, 3);
glfwWindowHint(GLFW_CONTEXT_VERSION_MINOR, 0);
Vérifier data path semble pas bon. Idée ajouter .local/share/
Docker make tarball ne marche pas et devrait exclure external
Souris gauche arc bug => Benoit
Fontes dear imgui plus grosses.
Centrer la vue sur le Petri chargé
for the editor and the grafcet c++ generated code
Currently
struct CriticalCycleResult
{
bool success = false;
std::stringstream message;
size_t cycles; // TO BE MERGED
std::vector<Arc*> arcs; // TO BE MERGED
std::vector<double> eigenvector;
std::vector<double> durations;
};
Ideally should be:
struct CriticalCycleResult
{
bool success = false;
std::stringstream message;
std::vector<std::vector<Arc*>> cycles;
std::vector<double> eigenvector;
std::vector<double> durations;
};
Il faut faire un m_editor.m_simulation.generateSensors(); quand on ajoute un noeud car
std::vector<Receptivity> const& receptivities = m_simulation.receptivities();
if (!receptivities.empty())
{
Receptivity const& recp = receptivities[t.id];
on depasse le tableau
Currently, transitions without incoming places, generate tokens but it seems that is not in the Petri standard. I implicitly added a loop with a place with a token. What is the expected behavior ?
It's annoying to press "h" everytime I want to see the help. As a beginner, it seems helpful to be able to see the help all the time.
So "h" should just toggle it instead. Even if I just want to look at it for a few seconds, I only have to press "h" twice, even if I want to look at it for longer.
Editor julia Net TimedPetriNetEditor UtilsTimedPetriNetEditor/
Editor/
Net/
Julia With J not j
Remove Utils/
In addition
main.cpp calling #include "Editor.hpp" // Selected by Makefile calling # include "Application.hpp" // Selected by Makefile
is not good when using inside another project.
Hi there, I am failing to compile on Linux (Kubuntu). This is what I get.
It appears related to backward-cpp library and or some dwarf file. Without really understanding what they do, I tried if explicitly installing some related packages helps. Namely, did sudo apt install libdwarf-dev and sudo apt install libbackward-cpp-dev. It did not help.
hurak@hurak-HP-EliteBook-Folio-9470m:~/TimedPetriNetEditor$ make -j4
*** About: TimedPetriNetEditor => Timed Petri Net Editor
*** Compiler: g++ --std=c++11
g++ (Ubuntu 11.2.0-19ubuntu1) 11.2.0
Copyright (C) 2021 Free Software Foundation, Inc.
This is free software; see the source for copying conditions. There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
*** Downloading: backward-cpp => TimedPetriNetEditor
Cloning into 'backward-cpp'...
remote: Enumerating objects: 29, done.
remote: Counting objects: 100% (29/29), done.
remote: Compressing objects: 100% (27/27), done.
remote: Total 29 (delta 4), reused 13 (delta 0), pack-reused 0
Receiving objects: 100% (29/29), 207.68 KiB | 1.03 MiB/s, done.
Resolving deltas: 100% (4/4), done.
*** Version: TimedPetriNetEditor <= VERSION.txt
Project version: 0.1
Git branch master SHA1 3698a6be0399817bec87a837f19cbcc18d623376
Compiling [8%] TimedPetriNetEditor <= ./src/utils/Howard.c
Compiling [15%] TimedPetriNetEditor <= ./src/utils/KeyBindings.cpp
cc1: warning: command-line option ‘-Wno-deprecated-copy-dtor’ is valid for C++/ObjC++ but not for C
Compiling [23%] TimedPetriNetEditor <= ./src/utils/Application.cpp
Compiling [31%] TimedPetriNetEditor <= ./src/PetriNet.cpp
cc1: note: unrecognized command-line option ‘-Wno-defaulted-function-deleted’ may have been intended to silence earlier diagnostics
Compiling [38%] TimedPetriNetEditor <= ./src/PetriEditor.cpp
Compiling [46%] TimedPetriNetEditor <= ./src/main.cpp
Compiling [54%] TimedPetriNetEditor <= build/backward-cpp/backward.cpp
In file included from /home/hurak/TimedPetriNetEditor/build/backward-cpp/backward.cpp:36:
/home/hurak/TimedPetriNetEditor/build/backward-cpp/backward.hpp:246:10: fatal error: dwarf.h: Adresář nebo soubor neexistuje
246 | #include <dwarf.h>
| ^~~~~~~~~
compilation terminated.
make: *** [.makefile/Makefile.footer:80: backward.o] Chyba 1
make: *** Čeká se na nedokončené úlohy…
In file included from /home/hurak/TimedPetriNetEditor/src/PetriEditor.cpp:22:
/home/hurak/TimedPetriNetEditor/src/utils/FileDialogs.hpp: In constructor ‘pfd::message::message(const string&, const string&, pfd::choice, pfd::icon)’:
/home/hurak/TimedPetriNetEditor/src/utils/FileDialogs.hpp:1769:25: warning: declaration of ‘flag’ shadows a member of ‘pfd::message’ [-Wshadow]
1769 | std::string flag = "--";
| ^~~~
In file included from /home/hurak/TimedPetriNetEditor/src/PetriEditor.cpp:22:
/home/hurak/TimedPetriNetEditor/src/utils/FileDialogs.hpp:139:16: note: shadowed declaration is here
139 | enum class flag
| ^~~~
At global scope:
cc1plus: note: unrecognized command-line option ‘-Wno-defaulted-function-deleted’ may have been intended to silence earlier diagnosticsCurrently:
action = std::make_unique<NetModifaction>(m_editor);
action->before(m_editor.m_net);
modify net
action->after(m_editor.m_net);
m_editor.m_history.add(std::move(action));
this save 2 nets. Better to memorize add/remove actions and do the opposite (as classically made in Command design pattern) but here the remove modify the ID of nodes so not easy to undo/redo commands
Using SemiHoward.teg:
Commit "Fixing warnings and cleaning some docs"
src/utils/Animation.hpp => regression with the animation. Write unit tests to catch it explicetly
To avoid big values make hoursd to move and small durations will not be visible => normalize duration.
Add fading effect back like done in previous version.
After sudo make install, what is actually copied to my /usr/bin/ is
*** Installing: build/TimedPetriNetEditor => /usr/bin/TimedPetriNetEditor-0.1.0 Therefore, after typing just TimedPetriNetEditor in the terminal, the command is not found. I have to type the full name of the file, which is TimedPetriNetEditor-0.1.0.
No problem. Of couse, I can also create a symlink myself. It is just that now the instruction in README.md does not produce a desired outcome.
[API]
[Julia]
[GUI] Rethink the whole interface:
[PetriNet] functionalities:
[Export/Inport] Add more format:
[SFML] improvements:
[Done]:
[Julia] Thread the entry_point() and return the Petri net reference to allow acceding to Julia REPL and adding some Julia command. I think this is not possible and currently this is fine.
[Export] Genérer le Petri sous dot et sous LaTeX
dot:
digraph G {
node [shape=circle, color=red]
P0 [label=P0];
P1 [label="P1\n2 •", fontsize=20];
node [shape=box, color=blue]
T0;
T1;
edge [style=""]
P0 -> { T0, T1 } [label=2.5];
T0 -> P1 [label=2];
}
Pour séparer les noeuds entre eux.
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
Django
The Web framework for perfectionists with deadlines.
Laravel
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
Microsoft
Open source projects and samples from Microsoft.
Google
Google ❤️ Open Source for everyone.
Alibaba
Alibaba Open Source for everyone
D3
Data-Driven Documents codes.
Tencent
China tencent open source team.