Skip to content
@oris-tool

ORIS Tool

Analysis of timed and stochastic Petri nets

Popular repositories Loading

  1. sirio sirio Public

    The Sirio library for the analysis of stochastic time Petri nets

    Java 13 1

  2. sirio-examples sirio-examples Public

    A ready-to-use project for the Sirio API

    3

  3. oris-tool.github.io oris-tool.github.io Public

    The ORIS Website

    HTML 1

  4. eulero eulero Public

    The Eulero library for quantitative modeling and evaluation of complex workflows

    Java 1 2

  5. faultflow faultflow Public

    The FaultFlow library for dependability evaluation of component-based systems of systems

    Java 1

  6. WoSAR-2024-replica-pool-rep-pkg WoSAR-2024-replica-pool-rep-pkg Public

    Java 1

Repositories

Showing 10 of 12 repositories
  • eulero_2.0 Public Forked from oris-tool/eulero

    Refactoring of Eulero library, in order to enable semantics customizations

    oris-tool/eulero_2.0’s past year of commit activity
    Java 0 AGPL-3.0 2 0 0 Updated Mar 23, 2025
  • oris-tool.github.io Public

    The ORIS Website

    oris-tool/oris-tool.github.io’s past year of commit activity
    HTML 1 0 0 1 Updated Feb 18, 2025
  • sirio Public

    The Sirio library for the analysis of stochastic time Petri nets

    oris-tool/sirio’s past year of commit activity
    Java 13 AGPL-3.0 1 0 0 Updated Feb 18, 2025
  • faultflow Public

    The FaultFlow library for dependability evaluation of component-based systems of systems

    oris-tool/faultflow’s past year of commit activity
    Java 1 AGPL-3.0 0 0 0 Updated Jan 8, 2025
  • omnibus Public

    The OMNIBUS library for the analysis of multimodal urban intersections

    oris-tool/omnibus’s past year of commit activity
    Java 0 AGPL-3.0 0 0 0 Updated Oct 9, 2024
  • WoSAR-2024-replica-pool-rep-pkg Public
    oris-tool/WoSAR-2024-replica-pool-rep-pkg’s past year of commit activity
    Java 1 AGPL-3.0 0 0 0 Updated Aug 25, 2024
  • sar Public

    Modeling and evaluation of Software Aging and Rejuvenation (SAR) models beyond the enabling restriction

    oris-tool/sar’s past year of commit activity
    Python 0 0 0 0 Updated Jul 29, 2024
  • omnibus-sumo-experimentation Public

    Using the SUMO traffic simulator to analyze urban intersections

    oris-tool/omnibus-sumo-experimentation’s past year of commit activity
    Java 0 EPL-2.0 0 0 0 Updated Feb 22, 2024
  • eulero Public

    The Eulero library for quantitative modeling and evaluation of complex workflows

    oris-tool/eulero’s past year of commit activity
    Java 1 AGPL-3.0 2 0 0 Updated Oct 30, 2023
  • pyramis Public

    The PYRAMIS library for compositional analysis of hierarchical UML statecharts

    oris-tool/pyramis’s past year of commit activity
    Java 0 GPL-3.0 0 0 0 Updated Apr 24, 2023
View all repositories

Top languages

Loading…

Most used topics

Loading…