Explore projects

LaTeX project template (English) for students writing their BA/MA/DA thesis

Connecting Conceptual Models using Relational Reference Attribute Grammars

Distributed Petri Nets to ROS Toolchain

Transforms DiNeROS Petri Nets to P/T-Nets

DiNeROS Petri net execution engine

Common Code of DiNeROS

Transforms a global Petri net to local Petri nets