S. Donatelli

Available identifiers

zbMath Open donatelli.susannaMaRDI QIDQ782570

List of research outcomes

Publication	Date of Publication	Type
A CTL* Model Checker for Petri Nets	2022-09-01	Paper
The ins and outs of Petri net composition	2022-08-19	Paper
Gradient-Based Variable Ordering of Decision Diagrams for Systems with Structural Units	2022-08-12	Paper
Guarded autonomous transitions increase conciseness and expressiveness of timed automata	2021-03-02	Paper
Expressiveness and conciseness of timed automata for the verification of stochastic models	2020-07-27	Paper
The PSR methodology: Integrating hardware and software models	2019-05-02	Paper
Optimal aggregation of components for the solution of Markov regenerative processes	2018-01-11	Paper
Expressing and Computing Passage Time Measures of GSPN Models with HASL	2013-06-28	Paper
Revisiting the matrix‐free solution of Markov regenerative processes	2012-12-19	Paper
From Time Petri Nets to Timed Automata: An Untimed Approach	2007-09-03	Paper
Lectures on Concurrency and Petri Nets	2005-12-23	Paper
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems	2005-08-19	Paper
https://portal.mardi4nfdi.de/entity/Q4738771	2004-08-11	Paper
Complexity of Memory-Efficient Kronecker Operations with Applications to the Solution of Markov Models	2003-10-28	Paper
Integrating synchronization with priority into a Kronecker representation	2002-07-14	Paper
https://portal.mardi4nfdi.de/entity/Q2766551	2002-06-17	Paper
https://portal.mardi4nfdi.de/entity/Q4535168	2002-06-13	Paper
Implementing compositionality for stochastic Petri nets	2002-04-09	Paper
https://portal.mardi4nfdi.de/entity/Q4518926	2001-06-13	Paper
Superposed stochastic automata: a class of stochastic Petri nets with parallel solution and distributed state space	1993-12-20	Paper

Research outcomes over time

This page was built for person: S. Donatelli