GreatSPN is a tool for the stochastic analysis of systems modeled as (stochastic) Petri nets.
This chapter describes the evolution of the GreatSPN framework over its life span of 30 …

Petri nets augmented with time are interesting models which can be used for the modelling
and analysis of a wide range of concurrent discrete-event systems. In this paper, the nature …

Initially, process mining focused on discovering process models from event data, but in
recent years the use and importance of conformance checking has increased. Conformance …

The class of stochastic well-formed colored nets (SWN's) was defined as a syntactic
restriction of stochastic high-level nets. The interest of the introduction of restrictions in the …

The novel paradigm of collaborative automation, with machines and industrial robots that
synergically share the same workspace with human workers, requires to rethink how …

Abstract Stochastic Petri Nets are a modelling formalism that can be conveniently used for
the analysis of complex models of Discrete Event Dynami Systems (DEDS) and for their …

This paper describes the GreatSPN 1.7 package for the modeling, validation, and
performance evaluation of distributed systems using Generalized Stochastic Petri Nets and …

We develop a compositional behavioural model that integrates a variation of probabilistic
automata into a conservative extension of interactive Markov chains. The model is rich …

This paper describes TimeNET (Timed Net Evaluation Tool), a software package for the
modeling and evaluation of stochastic Petri nets with non-exponentially distributed firing …

A central task in high-level synthesis is scheduling: the allocation of operations to clock
cycles. The classic approach to scheduling is static, in which each operation is mapped to a …