Susanna 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
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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Susanna Donatelli