Skip to content
Change the repository type filter

All

    Repositories list

    • Petri nets web editor
      JavaScript
      Apache License 2.0
      0100Updated Jun 16, 2026Jun 16, 2026
    • beepath

      Public
      A tool to quickly design models starting from natural language
      TypeScript
      Apache License 2.0
      0000Updated Jun 2, 2026Jun 2, 2026
    • ids

      Public
      Python
      GNU General Public License v3.0
      1000Updated May 19, 2026May 19, 2026
    • .github

      Public
      0000Updated Mar 12, 2026Mar 12, 2026
    • pn2ccs

      Public
      Web application (tool) for encoding Petri nets (PN) into the Calculus of Communicating Systems (CCS)
      GNU General Public License v3.0
      1000Updated Dec 11, 2025Dec 11, 2025
    • HTML
      1000Updated Nov 23, 2025Nov 23, 2025
    • linac

      Public
      A platform to simulate agent interactions with IoT devices to facilitate process mining algorithm research.
      Java
      MIT License
      0000Updated Nov 23, 2025Nov 23, 2025
    • PaliaProM

      Public
      ProM implementation of the plugin with the I-PALIA algorithm
      Java
      0200Updated Oct 1, 2025Oct 1, 2025
    • Web application to simulate the routine of a person, and apply the multi dimension algorithm for both discovery and conformance
      HTML
      2000Updated May 2, 2024May 2, 2024
    • palia

      Public
      Maven implementation of the I-PALIA algorithm
      Java
      1100Updated Mar 10, 2024Mar 10, 2024
    • Python
      2000Updated Dec 8, 2023Dec 8, 2023
    • VIOLA

      Public
      A streaming conformance checking approach
      Jupyter Notebook
      3000Updated Mar 17, 2023Mar 17, 2023
    • CvAMoS

      Public
      Java
      Apache License 2.0
      3000Updated Feb 3, 2023Feb 3, 2023
    • ODADD

      Public
      Online Data Aware Declare Discovery
      HTML
      2000Updated Nov 28, 2018Nov 28, 2018
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.